Uses of Class
org.chocosolver.solver.Solver
-
Packages that use Solver Package Description org.chocosolver.solver A package devoted to Model and resolution tools.org.chocosolver.solver.learn org.chocosolver.solver.search.loop.learn org.chocosolver.solver.search.loop.move org.chocosolver.solver.search.loop.propagate org.chocosolver.solver.trace org.chocosolver.solver.trace.frames -
-
Uses of Solver in org.chocosolver.solver
Methods in org.chocosolver.solver that return Solver Modifier and Type Method Description Solver
Model. getSolver()
Returns the unique and internal propagation and search object to solve this model.Solver
DefaultSettings. initSolver(Model model)
Solver
Settings. initSolver(Model model)
This method is called inModel(IEnvironment, String, Settings)
to create the solver to associate with a model.Solver
Solver. ref()
Methods in org.chocosolver.solver with parameters of type Solver Modifier and Type Method Description boolean
DefaultSettings. checkModel(Solver solver)
boolean
Settings. checkModel(Solver solver)
Method parameters in org.chocosolver.solver with type arguments of type Solver Modifier and Type Method Description DefaultSettings
DefaultSettings. setInitSolver(Function<Model,Solver> initSolver)
Settings
Settings. setInitSolver(Function<Model,Solver> initSolver)
Define the solver initializationDefaultSettings
DefaultSettings. setModelChecker(Predicate<Solver> modelChecker)
Settings
Settings. setModelChecker(Predicate<Solver> modelChecker)
Define what to do when a solution is found. -
Uses of Solver in org.chocosolver.solver.learn
Constructors in org.chocosolver.solver.learn with parameters of type Solver Constructor Description EventRecorder(Solver solver)
Create an explanation engine which is able to learn general constraint on conflict -
Uses of Solver in org.chocosolver.solver.search.loop.learn
Methods in org.chocosolver.solver.search.loop.learn with parameters of type Solver Modifier and Type Method Description void
Learn. forget(Solver solver)
Forget some pieces of knowledge.void
LearnNothing. forget(Solver solver)
void
LearnSignedClauses. forget(Solver solver)
void
Learn. record(Solver solver)
Validate and record a new piece of knowledge, that is, the current position is a dead-end.void
LearnNothing. record(Solver solver)
void
LearnSignedClauses. record(Solver solver)
Constructors in org.chocosolver.solver.search.loop.learn with parameters of type Solver Constructor Description LearnSignedClauses(Solver solver)
Build a learned able to learn signed clauses on conflicts and solutions. -
Uses of Solver in org.chocosolver.solver.search.loop.move
Methods in org.chocosolver.solver.search.loop.move with parameters of type Solver Modifier and Type Method Description 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.boolean
MoveBinaryDDS. extend(Solver solver)
boolean
MoveBinaryDFS. extend(Solver solver)
boolean
MoveBinaryHBFS. extend(Solver solver)
boolean
MoveLNS. extend(Solver solver)
Return false when: the underlying search has no more decision to provide,boolean
MoveRestart. extend(Solver solver)
boolean
MoveSeq. extend(Solver solver)
protected void
MoveBinaryHBFS. extractOpenRightBranches(Solver solver)
This methods extracts and stores all open right branches for future explorationvoid
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.protected void
MoveBinaryDFS. prevDecision(Solver solver)
Backtrack in the search treeboolean
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.boolean
MoveBinaryDFS. repair(Solver solver)
boolean
MoveBinaryHBFS. repair(Solver solver)
boolean
MoveBinaryLDS. repair(Solver solver)
boolean
MoveLNS. repair(Solver solver)
Return false when : move.repair(searchLoop) returns false and neighbor is complete.boolean
MoveRestart. repair(Solver solver)
boolean
MoveSeq. repair(Solver solver)
protected void
MoveRestart. restart(Solver solver)
Execute the restart and update measuresprotected boolean
MoveBinaryDFS. rewind(Solver solver)
Go back in the search tree.protected boolean
MoveBinaryLDS. rewind(Solver solver)
-
Uses of Solver in org.chocosolver.solver.search.loop.propagate
Methods in org.chocosolver.solver.search.loop.propagate with parameters of type Solver Modifier and Type Method Description void
Propagate. execute(Solver solver)
Propagate information throughout the constraint network, that is, apply decision and post dynamic cut (if any).void
PropagateBasic. execute(Solver solver)
Basic propagation: First, prepare the decision (to ensure good behavior of theMove.repair(Solver)
call) then, a first propagation ensures that, if learning is on, the unit nogood learnt on failure filters, the cut is posted before applying the decision to ensure good nogood, and a second propagation ensures the cut is taken into account the decision is applied (if learning is on and the decision is refuted, it is bypassed by the learnt unit nogood), finally, a fix point is reached. -
Uses of Solver in org.chocosolver.solver.trace
Fields in org.chocosolver.solver.trace declared as Solver Modifier and Type Field Description protected Solver
SearchViz. mSolver
Reference to the modelConstructors in org.chocosolver.solver.trace with parameters of type Solver Constructor Description CPProfiler(Solver aSolver, boolean sendDomain)
Active connection to cp-profiler.DefaultDecisionMessage(Solver solver)
Create a decision messageDefaultSolutionMessage(Solver solver)
Create a solution messageGephiGenerator(String gexfFile, Solver aSolver)
GraphvizGenerator(String gvFile, Solver aSolver)
LogStatEveryXXms(Solver solver, long duration)
Create a monitor which outputs shot-line statistics every duration millisecondsSearchViz(Solver aSolver, boolean sendDomain)
Active connection to cp-profiler. -
Uses of Solver in org.chocosolver.solver.trace.frames
Constructors in org.chocosolver.solver.trace.frames with parameters of type Solver Constructor Description StatisticsPanel(Solver solver, long duration, JFrame mainFrame)
Create a simple dashboard that show statistics from 'solver' every 'duration' milliseconds
-