choco.cp.model.managers.constraints.global
Class ElementManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<IntegerVariable>
choco.cp.model.managers.IntConstraintManager
choco.cp.model.managers.constraints.global.ElementManager
- All Implemented Interfaces:
- ExpressionManager
public final class ElementManager
- extends IntConstraintManager
Created by IntelliJ IDEA.
User: charles
Date: 9 août 2008
Time: 16:25:12
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ElementManager
public ElementManager()
makeConstraint
public SConstraint makeConstraint(Solver solver,
IntegerVariable[] variables,
Object parameters,
List<String> options)
- Build a constraint for the given solver and "model variables"
- Specified by:
makeConstraint
in class ConstraintManager<IntegerVariable>
- Parameters:
solver
- variables
- parameters
- : a "hook" to attach any kind of parameters to constraintsoptions
-
- Returns:
makeConstraintAndOpposite
public SConstraint[] makeConstraintAndOpposite(Solver solver,
IntegerVariable[] variables,
Object parameters,
List<String> options)
- Build a constraint and its opposite for the given solver and "model variables"
- Overrides:
makeConstraintAndOpposite
in class IntConstraintManager
- Parameters:
solver
- variables
- parameters
- options
-
- Returns:
- array of 2 SConstraint object, the constraint and its opposite
Copyright © 2012. All Rights Reserved.