Package | Description |
---|---|
org.jacop.search | |
org.jacop.search.restart | |
org.jacop.search.sgmpcs |
Modifier and Type | Class and Description |
---|---|
class |
CreditCalculator<T extends Var>
Defines functionality of credit search.
|
class |
FailConstraintsStatistics<T extends Var>
Defines functionality for FailConstraintsStatistics plug-in, that
collects statistics on the failed constraints; both for each
individual constraint as well as a class of constraints.
|
class |
OneSolution<T extends Var>
Defines functionality for OneSolution plug-in, that is the search
with this plug-in will stop after funding first solution.
|
class |
Shaving<T extends IntVar>
Defines functionality of shaving.
|
class |
TraceGenerator<T extends Var>
TODO
TraceGenerator should accept as input to constructor a Search object.
|
Modifier and Type | Field and Description |
---|---|
ConsistencyListener |
DepthFirstSearch.consistencyListener
It is invoked when consistency function has been executed.
|
Modifier and Type | Method and Description |
---|---|
ConsistencyListener |
DepthFirstSearch.getConsistencyListener() |
ConsistencyListener |
Search.getConsistencyListener()
It returns the root of the Consistency Listener.
|
Modifier and Type | Method and Description |
---|---|
void |
ConsistencyListener.setChildrenListeners(ConsistencyListener child)
Setting one child listener.
|
void |
CreditCalculator.setChildrenListeners(ConsistencyListener child) |
void |
FailConstraintsStatistics.setChildrenListeners(ConsistencyListener child) |
void |
OneSolution.setChildrenListeners(ConsistencyListener child) |
void |
Shaving.setChildrenListeners(ConsistencyListener child) |
void |
TraceGenerator.setChildrenListeners(ConsistencyListener child) |
void |
ConsistencyListener.setChildrenListeners(ConsistencyListener[] children)
Each of the child listeners will be called and the return code from them
will be combined (taken into account) by a parent).
|
void |
CreditCalculator.setChildrenListeners(ConsistencyListener[] children) |
void |
FailConstraintsStatistics.setChildrenListeners(ConsistencyListener[] children) |
void |
OneSolution.setChildrenListeners(ConsistencyListener[] children) |
void |
Shaving.setChildrenListeners(ConsistencyListener[] children) |
void |
TraceGenerator.setChildrenListeners(ConsistencyListener[] children) |
void |
DepthFirstSearch.setConsistencyListener(ConsistencyListener listener) |
void |
Search.setConsistencyListener(ConsistencyListener listener)
It sets the root of the Consistency Listener.
|
Modifier and Type | Class and Description |
---|---|
class |
Calculator<T extends Var>
Defines interface for a calculator for restart search
|
class |
ConstantCalculator<T extends Var>
Defines functionality for constant calculator for restart search
|
class |
GeometricCalculator<T extends Var>
Defines functionality for constant calculator for restart search
|
class |
LinearCalculator<T extends Var>
Defines functionality for constant calculator for restart search
|
class |
LubyCalculator<T extends Var>
Defines functionality for constant calculator for restart search
|
Modifier and Type | Method and Description |
---|---|
void |
Calculator.setChildrenListeners(ConsistencyListener child) |
void |
Calculator.setChildrenListeners(ConsistencyListener[] children) |
Modifier and Type | Class and Description |
---|---|
class |
SGMPCSCalculator<T extends Var>
Defines functionality for SGMPCS search
|
Modifier and Type | Method and Description |
---|---|
void |
SGMPCSCalculator.setChildrenListeners(ConsistencyListener child) |
void |
SGMPCSCalculator.setChildrenListeners(ConsistencyListener[] children) |
Copyright © 2022. All rights reserved.