choco.cp.model.managers.constraints.integer
Class AbsoluteManager

java.lang.Object
  extended by choco.kernel.model.constraints.ConstraintManager<IntegerVariable>
      extended by choco.cp.model.managers.IntConstraintManager
          extended by choco.cp.model.managers.constraints.integer.AbsoluteManager
All Implemented Interfaces:
ExpressionManager

public final class AbsoluteManager
extends IntConstraintManager

Created by IntelliJ IDEA. User: charles Date: 11 août 2008 Time: 12:56:32


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
AbsoluteManager()
           
 
Method Summary
 SConstraint makeConstraint(Solver solver, IntegerVariable[] variables, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 INode makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Make a solver expression variable from a model expression variable
 
Methods inherited from class choco.cp.model.managers.IntConstraintManager
getFavoriteDomains, makeConstraintAndOpposite
 
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

AbsoluteManager

public AbsoluteManager()
Method Detail

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 constraints
options -
Returns:

makeNode

public INode makeNode(Solver solver,
                      Constraint[] cstrs,
                      Variable[] vars)
Make a solver expression variable from a model expression variable

Specified by:
makeNode in interface ExpressionManager
Overrides:
makeNode in class IntConstraintManager
Parameters:
solver -
vars -
cstrs - constraints (can be null)
Returns:


Copyright © 2012. All Rights Reserved.