Uses of Class
org.chocosolver.solver.exception.SolverException
-
Packages that use SolverException Package Description org.chocosolver.solver A package devoted to Model and resolution tools.org.chocosolver.solver.constraints org.chocosolver.solver.propagation -
-
Uses of SolverException in org.chocosolver.solver
Methods in org.chocosolver.solver that throw SolverException Modifier and Type Method Description void
Model. post(Constraint... cs)
Posts constraintscs
permanently in the constraints network ofthis
: - add them to the data structure, - set the fixed idx, - checks for restrictionsvoid
Model. unpost(Constraint... constraints)
Remove permanently the constraintc
from the constraint network. -
Uses of SolverException in org.chocosolver.solver.constraints
Methods in org.chocosolver.solver.constraints that throw SolverException Modifier and Type Method Description void
Constraint. checkNewStatus(Constraint.Status aStatus)
Check if the new status is not in conflict with the current onevoid
Constraint. declareAs(Constraint.Status aStatus, int idx)
For internal usage only, declare the status of this constraint in the model and, if need be, its position in the constraint list.void
Propagator. setActive()
informs that this propagator is now active.void
Propagator. setPassive()
informs that this propagator is now passive : it holds but no further filtering can occur, so it is useless to propagate it.void
Propagator. setReifiedSilent(BoolVar boolVar)
informs that this reified propagator may not hold.void
Propagator. setReifiedTrue()
informs that this reified propagator must hold. -
Uses of SolverException in org.chocosolver.solver.propagation
Methods in org.chocosolver.solver.propagation that throw SolverException Modifier and Type Method Description void
PropagationEngine. dynamicAddition(boolean permanent, Propagator... ps)
Add a constraint to the propagation enginevoid
PropagationEngine. initialize()
Build up internal structure, if not yet done, in order to allow propagation.
-