choco.cp.model.managers.operators
Class PlusManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<RealVariable>
choco.cp.model.managers.RealConstraintManager
choco.cp.model.managers.operators.PlusManager
- All Implemented Interfaces:
- ExpressionManager
public final class PlusManager
- extends RealConstraintManager
- implements ExpressionManager
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PlusManager
public PlusManager()
makeConstraint
public SConstraint makeConstraint(Solver solver,
RealVariable[] variables,
Object parameters,
List<String> options)
- Build a constraint for the given solver and "model variables"
- Specified by:
makeConstraint
in class ConstraintManager<RealVariable>
- Parameters:
solver
- variables
- parameters
- : a "hook" to attach any kind of parameters to constraintsoptions
-
- Returns:
makeNode
public INode makeNode(Solver solver,
Constraint[] cstrs,
Variable[] vars)
- Build arithm node from a IntegerExpressionVariable
- Specified by:
makeNode
in interface ExpressionManager
- Parameters:
solver
- vars
- cstrs
- constraints
- Returns:
makeRealExpression
public RealExp makeRealExpression(Solver solver,
Variable... vars)
- Build a real expression
- Specified by:
makeRealExpression
in class RealConstraintManager
- Parameters:
solver
- vars
-
- Returns:
Copyright © 2012. All Rights Reserved.