Package | Description |
---|---|
org.chocosolver.solver |
A package devoted to Model and resolution tools.
|
org.chocosolver.solver.search.loop.learn | |
org.chocosolver.solver.search.loop.move | |
org.chocosolver.solver.search.loop.propagate | |
org.chocosolver.solver.trace |
Modifier and Type | Method and Description |
---|---|
Solver |
Solver._me() |
Solver |
Model.getSolver()
Returns the unique and internal propagation and search object to solve this model.
|
Modifier and Type | Method and Description |
---|---|
default boolean |
Settings.checkModel(Solver solver)
Define what to do when a solution is found.
|
Modifier and Type | Method and Description |
---|---|
void |
LearnNothing.forget(Solver solver) |
void |
LearnExplained.forget(Solver solver) |
void |
LearnCBJ.forget(Solver solver) |
void |
Learn.forget(Solver solver)
Forget some pieces of knowledge.
|
void |
LearnExplained.onFailure(Solver solver)
Actions to do when a failure is met.
|
void |
LearnCBJ.onFailure(Solver solver) |
void |
LearnExplained.onSolution(Solver solver)
Actions to do when a solution is found.
|
void |
LearnNothing.record(Solver solver) |
void |
LearnExplained.record(Solver solver) |
void |
Learn.record(Solver solver)
Validate and record a new piece of knowledge, that is, the current position is a dead-end.
|
Modifier and Type | Method and Description |
---|---|
protected void |
MoveLNS.doRestart(Solver solver)
Extend the neighbor when conditions are met and do the restart
|
boolean |
MoveSeq.extend(Solver solver) |
boolean |
MoveRestart.extend(Solver solver) |
boolean |
MoveLNS.extend(Solver solver)
Return false when:
the underlying search has no more decision to provide,
Return true when:
a new neighbor is provided,
or a new decision is provided by the underlying decision
or the fast restart criterion is met.
|
boolean |
MoveLearnBinaryTDR.extend(Solver solver) |
boolean |
MoveBinaryHBFS.extend(Solver solver) |
boolean |
MoveBinaryDFS.extend(Solver solver) |
boolean |
MoveBinaryDDS.extend(Solver solver) |
boolean |
Move.extend(Solver solver)
Performs a move when the CSP associated to the current node of the search space is not proven to be not consistent.
|
protected void |
MoveBinaryHBFS.extractOpenRightBranches(Solver solver)
This methods extracts and stores all open right branches for future exploration
|
void |
MoveLNS.loadFromSolution(Solution solution,
Solver solver)
Give an initial solution to begin with if called before executing the solving process
or erase the last recorded one otherwise.
|
void |
MoveLearnBinaryTDR.onFailure(Solver solver)
Actions to do when a failure is met.
|
protected void |
MoveBinaryDFS.prevDecision(Solver solver)
Backtrack in the search tree
|
boolean |
MoveSeq.repair(Solver solver) |
boolean |
MoveRestart.repair(Solver solver) |
boolean |
MoveLNS.repair(Solver solver)
Return false when :
move.repair(searchLoop) returns false and neighbor is complete.
|
boolean |
MoveLearnBinaryTDR.repair(Solver solver) |
boolean |
MoveBinaryLDS.repair(Solver solver) |
boolean |
MoveBinaryHBFS.repair(Solver solver) |
boolean |
MoveBinaryDFS.repair(Solver solver) |
boolean |
Move.repair(Solver solver)
Performs a move when the CSP associated to the current node of the search space is proven to be not consistent.
|
protected void |
MoveRestart.restart(Solver solver)
Execute the restart and update measures
|
protected boolean |
MoveBinaryLDS.rewind(Solver solver) |
protected boolean |
MoveBinaryDFS.rewind(Solver solver)
Go back in the search tree.
|
Modifier and Type | Method and Description |
---|---|
void |
PropagateBasic.execute(Solver solver) |
void |
Propagate.execute(Solver solver)
Propagate information throughout the constraint network, that is, apply decision and post dynamic cut (if any).
|
Constructor and Description |
---|
DefaultDecisionMessage(Solver solver)
Create a decision message
|
DefaultSolutionMessage(Solver solver)
Create a solution message
|
LogStatEveryXXms(Solver solver,
long duration)
Create a monitor which outputs shot-line statistics every duration milliseconds
|
Copyright © 2017. All rights reserved.