|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ISolutionCheckerEngine
Field Summary | |
---|---|
static Logger |
LOGGER
|
Method Summary | |
---|---|
void |
checkConstraint(SConstraint<?> c)
Check the satisfaction of c . |
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 |
checkVariable(Var var)
Check the instantiation of var . |
void |
checkVariables(Solver solver)
Check instantiation of every variables involved within the solver . |
boolean |
inspectConstraint(SConstraint<?> c)
Inspect the satisfaction of c . |
boolean |
inspectConstraints(Solver solver)
Inspect satisfaction of every constraints declared in solver . |
boolean |
inspectSolution(Solver solver)
Inspect the current solution of solver . |
boolean |
inspectVariable(Var var)
Inspect the instantiation of var . |
boolean |
inspectVariables(Solver solver)
Inspect instantiation of every variables involved in solver . |
Field Detail |
---|
static final Logger LOGGER
Method Detail |
---|
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.
solver
- involving solver
SolutionCheckerException
- if the current solution is not correct.void checkVariables(Solver solver) throws SolutionCheckerException
solver
.
solver
- containing solver
SolutionCheckerException
- if one or more variable is not instantiated.void checkConstraints(Solver solver) throws SolutionCheckerException
solver
.
solver
- containing solver
SolutionCheckerException
- if one or more constraint is not satisfied.void checkVariable(Var var) throws SolutionCheckerException
var
.
var
- variable to check
SolutionCheckerException
- if var
is not instantiated.void checkConstraint(SConstraint<?> c) throws SolutionCheckerException
c
.
c
- constraint to check
SolutionCheckerException
- if c
is not satisfiedboolean 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.
solver
- involving solver
boolean inspectVariables(Solver solver)
solver
.
solver
- containing solver.
boolean inspectConstraints(Solver solver)
solver
.
solver
- containing solver
boolean inspectVariable(Var var)
var
.
var
- variable to check
boolean inspectConstraint(SConstraint<?> c)
c
.
c
- contraint to check
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |