|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.search.checker.AbstractSolutionCheckerEngine
choco.kernel.solver.search.checker.SolutionCheckerEngine
public class SolutionCheckerEngine
Field Summary | |
---|---|
boolean |
enableConsistency
|
Fields inherited from interface choco.kernel.solver.search.checker.ISolutionCheckerEngine |
---|
LOGGER |
Constructor Summary | |
---|---|
SolutionCheckerEngine()
|
Method Summary | |
---|---|
void |
checkConstraint(SConstraint c)
Check the satisfaction of c . |
void |
checkVariable(Var var)
Check the instantiation of var . |
boolean |
inspectConstraint(SConstraint<?> c)
Inspect the satisfaction of c . |
boolean |
inspectVariable(Var var)
Inspect the instantiation of var . |
boolean |
isConsistencyEnabled()
Return if the constraints checking enables consistency. |
protected boolean |
isSatisfied(AbstractIntSConstraint ic)
Check isSatisfied on ic . |
protected boolean |
isSatisfied(SConstraint<?> c)
Check if c is satisfied. |
void |
setEnableConsistency(boolean enableConsistency)
Enable consistency for constraints checking. |
Methods inherited from class choco.kernel.solver.search.checker.AbstractSolutionCheckerEngine |
---|
checkConstraints, checkSolution, checkVariables, inspectConstraints, inspectSolution, inspectVariables |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public boolean enableConsistency
Constructor Detail |
---|
public SolutionCheckerEngine()
Method Detail |
---|
public final boolean isConsistencyEnabled()
public final void setEnableConsistency(boolean enableConsistency)
enableConsistency
- true if constraint consistency must be checkpublic boolean inspectVariable(Var var)
var
.
var
- variable to check
public void checkVariable(Var var) throws SolutionCheckerException
var
.
var
- variable to check
SolutionCheckerException
- if var
is not instantiated.public void checkConstraint(SConstraint c) throws SolutionCheckerException
c
.
c
- constraint to check
SolutionCheckerException
- if c
is not satisfiedpublic boolean inspectConstraint(SConstraint<?> c)
c
.
c
- contraint to check
protected boolean isSatisfied(SConstraint<?> c)
c
is satisfied.
c
- constraint to check.
c
is not satisfied.protected boolean isSatisfied(AbstractIntSConstraint ic) throws UnsupportedOperationException
ic
.
ic
is an integer constraint and allows consistency checking (with tuple).
ic
- integer constraint to check
c
is satisfied
UnsupportedOperationException
- if ic
doesn't allow consistency checking.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |