|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.search.checker.AbstractSolutionCheckerEngine
public abstract class AbstractSolutionCheckerEngine
Field Summary |
---|
Fields inherited from interface choco.kernel.solver.search.checker.ISolutionCheckerEngine |
---|
LOGGER |
Constructor Summary | |
---|---|
AbstractSolutionCheckerEngine()
|
Method Summary | |
---|---|
void |
checkConstraints(Solver solver)
Check satisfaction of every constraints involved within the solver . |
void |
checkSolution(Solver solver)
Check the current solution of the solver . |
void |
checkVariables(Solver solver)
Check instantiation of every variables involved within the solver . |
boolean |
inspectConstraints(Solver solver)
Inspect satisfaction of every constraints declared in solver . |
boolean |
inspectSolution(Solver solver)
Inspect the current solution of solver . |
boolean |
inspectVariables(Solver solver)
Inspect instantiation of every variables involved in solver . |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface choco.kernel.solver.search.checker.ISolutionCheckerEngine |
---|
checkConstraint, checkVariable, inspectConstraint, inspectVariable |
Constructor Detail |
---|
public AbstractSolutionCheckerEngine()
Method Detail |
---|
public final void checkConstraints(Solver solver) throws SolutionCheckerException
solver
.
checkConstraints
in interface ISolutionCheckerEngine
solver
- containing solver
SolutionCheckerException
- if one or more constraint is not satisfied.public void checkSolution(Solver solver) throws SolutionCheckerException
solver
.
It runs over variables (check instantiation) and constraints (call isSatisfied).
By defautlt, it checks the consistency and ignore the nogood recording.
checkSolution
in interface ISolutionCheckerEngine
solver
- involving solver
SolutionCheckerException
- if the current solution is not correct.public final void checkVariables(Solver solver) throws SolutionCheckerException
solver
.
checkVariables
in interface ISolutionCheckerEngine
solver
- containing solver
SolutionCheckerException
- if one or more variable is not instantiated.public final boolean inspectConstraints(Solver solver)
solver
.
inspectConstraints
in interface ISolutionCheckerEngine
solver
- containing solver
public boolean inspectSolution(Solver solver)
solver
.
It runs over variables (check instantiation) and constraints (call isSatisfied).
By defautlt, it checks the consistency and ignore the nogood recording.
inspectSolution
in interface ISolutionCheckerEngine
solver
- involving solver
public final boolean inspectVariables(Solver solver)
solver
.
inspectVariables
in interface ISolutionCheckerEngine
solver
- containing solver.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |