choco.cp.model.managers.constraints.set
Class SetValuePrecedeManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<SetVariable>
choco.cp.model.managers.SetConstraintManager
choco.cp.model.managers.constraints.set.SetValuePrecedeManager
- All Implemented Interfaces:
- ExpressionManager
public final class SetValuePrecedeManager
- extends SetConstraintManager
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SetValuePrecedeManager
public SetValuePrecedeManager()
makeConstraint
public SConstraint makeConstraint(Solver solver,
SetVariable[] setVariables,
Object o,
List<String> strings)
- Description copied from class:
ConstraintManager
- Build a constraint for the given solver and "model variables"
- Specified by:
makeConstraint
in class ConstraintManager<SetVariable>
- Parameters:
solver
- solver to build constraint insetVariables
- array of variableso
- Object defining the paramatersstrings
- set of options
- Returns:
- One SConstraint
Copyright © 2012. All Rights Reserved.