Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
org.chocosolver.solver.objective | |
org.chocosolver.solver.search.loop.monitors | |
org.chocosolver.solver.search.strategy.selectors.variables | |
org.chocosolver.solver.search.strategy.strategy | |
org.chocosolver.solver.trace |
Modifier and Type | Method and Description |
---|---|
void |
Solver.plugMonitor(ISearchMonitor sm)
Put a search monitor to react on search events (solutions, decisions, fails, ...).
|
void |
Solver.unplugMonitor(ISearchMonitor sm)
Removes a search monitors from the ones to plug when the search will start.
|
Modifier and Type | Class and Description |
---|---|
class |
ParetoOptimizer
Class to store the pareto front (multi-objective optimization).
|
Modifier and Type | Interface and Description |
---|---|
interface |
IMonitorClose
An interface to monitor close operation of the search loop
|
interface |
IMonitorContradiction
An interface to monitor contradiction in search loop
|
interface |
IMonitorDownBranch
An interface to monitor down branch actions in the search loop
|
interface |
IMonitorInitialize
An interface to monitor the initialization action of the search loop
|
interface |
IMonitorOpenNode
An interface to monitor open node action in the search loop
|
interface |
IMonitorRestart
An interface to monitor restart instruction in the search loop
|
interface |
IMonitorSolution
An interface to monitor solution instruction in the search loop
|
interface |
IMonitorUpBranch
An interface to monitor up branch actions in the search loop
|
Modifier and Type | Class and Description |
---|---|
class |
CPProfiler
A search monitor to send data to cp-profiler.
|
class |
NogoodFromRestarts
A constraint for the specific Nogood store designed to store ONLY positive decisions.
|
class |
NogoodFromSolutions
Avoid exploring same solutions (useful with restart on solution)
Beware :
- Must be plugged as a monitor
- Only works for integer variables
This can be used to remove similar/symmetric solutions
|
class |
SearchMonitorList
|
Modifier and Type | Method and Description |
---|---|
void |
SearchMonitorList.add(ISearchMonitor sm)
Adds a search monitor to this list
|
boolean |
SearchMonitorList.contains(ISearchMonitor sm)
Checks if this list contains a search monitor.
|
void |
SearchMonitorList.remove(ISearchMonitor sm)
Removes a search monitor for this list.
|
Modifier and Type | Class and Description |
---|---|
class |
ActivityBased
Implementation of the search described in:
"Activity-Based Search for Black-Box Constraint Propagramming Solver",
Laurent Michel and Pascal Van Hentenryck, CPAIOR12.
|
class |
DomOverWDeg
Implementation of DowOverWDeg[1]
|
class |
ImpactBased
Implementation of the search described in:
"Impact-Based Search Strategies for Constraint Programming",
Philippe Refalo, CP2004.
|
Modifier and Type | Class and Description |
---|---|
class |
ConflictOrderingSearch<V extends Variable>
Conflict Ordering Search
Composite heuristic which hacks a mainStrategy by forcing the
use of variables involved in recent conflicts
See "Conflict Ordering Search for Scheduling Problems", Steven Gay et al., CP2015.
|
class |
LastConflict
Last Conflict heuristic
Composite heuristic which hacks a mainStrategy by forcing the
use of variables involved in recent conflicts
|
Modifier and Type | Class and Description |
---|---|
class |
LogStatEveryXXms
A search monitor logger which prints statistics every XX ms.
|
Copyright © 2018. All rights reserved.