public class RCC2ConstraintSolver extends ConstraintSolver
ConstraintSolver.OPTIONSautoprop, components, constraintTypes, IDs, logger, name, nesting, noPropOnVarCreation, numcalls, skipPropagation, spacing, theNetwork, variableType| Constructor and Description |
|---|
RCC2ConstraintSolver() |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
addConstraintsSub(Constraint[] c)
This method must be implemented by the developer of the specific
ConstraintSolver
class. |
protected Variable[] |
createVariablesSub(int num)
This method must be implemented by the developer of the specific
ConstraintSolver
class. |
boolean |
propagate()
Propagate the constraint network.
|
void |
registerValueChoiceFunctions() |
protected void |
removeConstraintsSub(Constraint[] c)
This method must be implemented by the developer of the specific
ConstraintSolver
class. |
protected void |
removeVariablesSub(Variable[] v)
This method must be implemented by the developer of the specific
ConstraintSolver
class. |
addConstraint, addConstraintNoPropagation, addConstraints, addConstraintsDebug, addConstraintsNoPropagation, containsVariable, createVariable, createVariable, createVariables, createVariables, createVariablesSub, deplenish, getComponent, getComponents, getConstraintNetwork, getConstraints, getConstraints, getDescription, getID, getOption, getVariable, getVariables, getVariables, getVariables, isCompatible, maskConstraints, removeConstraint, removeConstraints, removeVariable, removeVariables, setComponent, setComponents, setConstraintNetwork, setName, setOptions, toString, unmaskConstraintspublic boolean propagate()
ConstraintSolverpropagate in class ConstraintSolverprotected void removeConstraintsSub(Constraint[] c)
ConstraintSolverConstraintSolver
class. Should implement all operations necessary to remove a batch of constraints.removeConstraintsSub in class ConstraintSolverc - The constraints to remove.protected Variable[] createVariablesSub(int num)
ConstraintSolverConstraintSolver
class. It should implement all operations necessary to create a batch of variable for the specific
type of ConstraintSolver.createVariablesSub in class ConstraintSolvernum - The number of variables to create.Variable for this ConstraintSolver.protected void removeVariablesSub(Variable[] v)
ConstraintSolverConstraintSolver
class. It should implement all operations necessary to remove a batch of variables for
the specific type of ConstraintSolver.removeVariablesSub in class ConstraintSolverv - The Variables to remove.public void registerValueChoiceFunctions()
registerValueChoiceFunctions in class ConstraintSolverprotected boolean addConstraintsSub(Constraint[] c)
ConstraintSolverConstraintSolver
class. It should implement all operations necessary to add multiple constraints, and should return
true upon success, false otherwise.addConstraintsSub in class ConstraintSolverc - The constraints to add.true iff the constraints were added to the ConstraintNetwork.