choco.cp.model.managers.constraints
Class EqManager

java.lang.Object
  extended by choco.kernel.model.constraints.ConstraintManager<Variable>
      extended by choco.cp.model.managers.MixedConstraintManager
          extended by choco.cp.model.managers.constraints.EqManager
All Implemented Interfaces:
ExpressionManager

public final class EqManager
extends MixedConstraintManager


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
EqManager()
           
 
Method Summary
 SConstraint makeConstraint(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 SConstraint[] makeConstraintAndOpposite(Solver solver, Variable[] variables, Object parameters, List<String> options)
          Build a constraint and its opposite for the given solver and "model variables"
 INode makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build arithm node from a IntegerExpressionVariable
 
Methods inherited from class choco.cp.model.managers.MixedConstraintManager
getFavoriteDomains
 
Methods inherited from class choco.kernel.model.constraints.ConstraintManager
checkParameter, fail, fail, getACFavoriteIntDomains, getBCFavoriteIntDomains
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EqManager

public EqManager()
Method Detail

makeConstraint

public SConstraint makeConstraint(Solver solver,
                                  Variable[] variables,
                                  Object parameters,
                                  List<String> options)
Build a constraint for the given solver and "model variables"

Specified by:
makeConstraint in class ConstraintManager<Variable>
Parameters:
solver -
variables -
parameters - : a "hook" to attach any kind of parameters to constraints
options -
Returns:

makeConstraintAndOpposite

public SConstraint[] makeConstraintAndOpposite(Solver solver,
                                               Variable[] variables,
                                               Object parameters,
                                               List<String> options)
Build a constraint and its opposite for the given solver and "model variables"

Overrides:
makeConstraintAndOpposite in class MixedConstraintManager
Parameters:
solver -
variables -
parameters -
options -
Returns:
array of 2 SConstraint object, the constraint and its opposite

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.