|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use SolutionCheckerException | |
---|---|
choco.kernel.solver.search.checker | |
parser.instances | |
parser.instances.checker |
Uses of SolutionCheckerException in choco.kernel.solver.search.checker |
---|
Methods in choco.kernel.solver.search.checker that throw SolutionCheckerException | |
---|---|
void |
SolutionCheckerEngine.checkConstraint(SConstraint c)
Check the satisfaction of c . |
void |
ISolutionCheckerEngine.checkConstraint(SConstraint<?> c)
Check the satisfaction of c . |
void |
ISolutionCheckerEngine.checkConstraints(Solver solver)
Check satisfaction of every constraints involved within the solver . |
void |
AbstractSolutionCheckerEngine.checkConstraints(Solver solver)
Check satisfaction of every constraints involved within the solver . |
void |
ISolutionCheckerEngine.checkSolution(Solver solver)
Check the current solution of the solver . |
void |
AbstractSolutionCheckerEngine.checkSolution(Solver solver)
Check the current solution of the solver . |
void |
SolutionCheckerEngine.checkVariable(Var var)
Check the instantiation of var . |
void |
ISolutionCheckerEngine.checkVariable(Var var)
Check the instantiation of var . |
void |
ISolutionCheckerEngine.checkVariables(Solver solver)
Check instantiation of every variables involved within the solver . |
void |
AbstractSolutionCheckerEngine.checkVariables(Solver solver)
Check instantiation of every variables involved within the solver . |
Uses of SolutionCheckerException in parser.instances |
---|
Methods in parser.instances that throw SolutionCheckerException | |
---|---|
protected void |
AbstractInstanceModel.checkIsSatisfied()
|
void |
XcspModel.checkSolution()
|
void |
AbstractInstanceModel.checkSolution()
The method checks the validity of the solution. |
protected void |
AbstractInstanceModel.checkStatus()
|
Uses of SolutionCheckerException in parser.instances.checker |
---|
Methods in parser.instances.checker that throw SolutionCheckerException | |
---|---|
void |
SatSChecker.checkStatus(Boolean doMaximize,
ResolutionStatus status,
Number Objective)
|
void |
OptimSChecker.checkStatus(Boolean doMaximize,
ResolutionStatus status,
Number objective)
|
void |
IStatusChecker.checkStatus(Boolean doMaximize,
ResolutionStatus status,
Number objective)
|
void |
SatSChecker.fail(ResolutionStatus status)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |