Uses of Class
choco.kernel.solver.search.checker.SolutionCheckerException

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)
           
 



Copyright © 2012. All Rights Reserved.