choco.cp.model.managers.constraints.integer
Class SignOpManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<Variable>
choco.cp.model.managers.MixedConstraintManager
choco.cp.model.managers.constraints.integer.SignOpManager
- All Implemented Interfaces:
- ExpressionManager
public final class SignOpManager
- extends MixedConstraintManager
A manager to build new signop constraint
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SignOpManager
public SignOpManager()
makeConstraint
public SConstraint makeConstraint(Solver solver,
Variable[] vars,
Object parameters,
List<String> options)
- Description copied from class:
ConstraintManager
- Build a constraint for the given solver and "model variables"
- Specified by:
makeConstraint
in class ConstraintManager<Variable>
- Parameters:
solver
- solver to build constraint invars
- array of variablesparameters
- Object defining the paramatersoptions
- set of options
- Returns:
- One SConstraint
makeNode
public INode makeNode(Solver solver,
Constraint[] cstrs,
Variable[] vars)
- Build arithm node from a IntegerExpressionVariable
- Specified by:
makeNode
in interface ExpressionManager
- Overrides:
makeNode
in class MixedConstraintManager
- Parameters:
solver
- cstrs
- constraints (can be null)vars
- variables
- Returns:
Copyright © 2012. All Rights Reserved.