choco.kernel.solver.search.checker
Interface ISolutionCheckerEngine

All Known Implementing Classes:
AbstractSolutionCheckerEngine, SolutionCheckerEngine

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

LOGGER

static final Logger LOGGER
Method Detail

checkSolution

void checkSolution(Solver solver)
                   throws SolutionCheckerException
Check the current solution of the solver. It runs over variables (check instantiation) and constraints (call isSatisfied). By defautlt, it checks the consistency and ignore the nogood recording.

Parameters:
solver - involving solver
Throws:
SolutionCheckerException - if the current solution is not correct.

checkVariables

void checkVariables(Solver solver)
                    throws SolutionCheckerException
Check instantiation of every variables involved within the solver.

Parameters:
solver - containing solver
Throws:
SolutionCheckerException - if one or more variable is not instantiated.

checkConstraints

void checkConstraints(Solver solver)
                      throws SolutionCheckerException
Check satisfaction of every constraints involved within the solver.

Parameters:
solver - containing solver
Throws:
SolutionCheckerException - if one or more constraint is not satisfied.

checkVariable

void checkVariable(Var var)
                   throws SolutionCheckerException
Check the instantiation of var.

Parameters:
var - variable to check
Throws:
SolutionCheckerException - if var is not instantiated.

checkConstraint

void checkConstraint(SConstraint<?> c)
                     throws SolutionCheckerException
Check the satisfaction of c.

Parameters:
c - constraint to check
Throws:
SolutionCheckerException - if c is not satisfied

inspectSolution

boolean inspectSolution(Solver solver)
Inspect the current solution of solver. It runs over variables (check instantiation) and constraints (call isSatisfied). By defautlt, it checks the consistency and ignore the nogood recording.

Parameters:
solver - involving solver
Returns:
false if the current solution is not correct

inspectVariables

boolean inspectVariables(Solver solver)
Inspect instantiation of every variables involved in solver.

Parameters:
solver - containing solver.
Returns:
false if one or more variable is not instantiated.

inspectConstraints

boolean inspectConstraints(Solver solver)
Inspect satisfaction of every constraints declared in solver.

Parameters:
solver - containing solver
Returns:
false if one or more constraint is not satisfied.

inspectVariable

boolean inspectVariable(Var var)
Inspect the instantiation of var.

Parameters:
var - variable to check
Returns:
false if the variable is not instantiated.

inspectConstraint

boolean inspectConstraint(SConstraint<?> c)
Inspect the satisfaction of c.

Parameters:
c - contraint to check
Returns:
false if the constraint is not satisfied.


Copyright © 2012. All Rights Reserved.