choco.cp.model.managers
Class IntConstraintManager

java.lang.Object
  extended by choco.kernel.model.constraints.ConstraintManager<IntegerVariable>
      extended by choco.cp.model.managers.IntConstraintManager
All Implemented Interfaces:
ExpressionManager
Direct Known Subclasses:
AbsoluteManager, AllDifferentManager, AndManager, AtMostNValueManager, ChannelingManager, CostRegularManager, DistanceManager, ElementManager, EuclideanDivisionManager, ExactlyManager, FastRegularManager, GeostManager, GlobalCardinalityManager, IfOnlyIfManager, ImpliesManager, IncreasingNValueManager, IncreasingSumManager, KnapsackProblemManager, LexChainManager, LeximinManager, LexManager, MemberManager, MinSpanningTree.MinSpanningTreeManager, ModuloManager, MultiCostRegularManager, NandManager, NorManager, NotManager, NotMemberManager, NSPStruct.NSPStrucManager, OccurrenceManager, OrderedGccManager, OrManager, RegularManager, ReifiedAndManager, ReifiedImplicationManager, ReifiedImplManager, ReifiedNandManager, ReifiedNorManager, ReifiedOrManager, ReifiedXnorManager, ReifiedXorManager, ScalarAtMost.ScalarAtMostManager, SimpleChannelling.SimpleManager, SimpleDTConstraint.SimpleDTConstraintManager, SoftCumulativeManager, SoftCumulativeSumManager, SoftMultiCostRegularManager, SortingManager, StretchPathManager, StrongConsistencyManager, SubSetChannelling.SubSetManager, SubTourConstraint.SubTourConstraintManager, TableManager, TimesManager, XnorManager, XorManager

public abstract class IntConstraintManager
extends ConstraintManager<IntegerVariable>


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
IntConstraintManager()
           
 
Method Summary
 int[] getFavoriteDomains(List<String> options)
           
 SConstraint[] makeConstraintAndOpposite(Solver solver, IntegerVariable[] 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.kernel.model.constraints.ConstraintManager
checkParameter, fail, fail, getACFavoriteIntDomains, getBCFavoriteIntDomains, makeConstraint
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IntConstraintManager

public IntConstraintManager()
Method Detail

getFavoriteDomains

public int[] getFavoriteDomains(List<String> options)
Specified by:
getFavoriteDomains in class ConstraintManager<IntegerVariable>
Parameters:
options - : the set of options on the constraint (Typically the level of consistency)
Returns:
a list of domains accepted by the constraint and sorted by order of preference

makeNode

public INode makeNode(Solver solver,
                      Constraint[] cstrs,
                      Variable[] vars)
Build arithm node from a IntegerExpressionVariable

Parameters:
solver -
cstrs - constraints (can be null)
vars - variables
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"

Specified by:
makeConstraintAndOpposite in class ConstraintManager<IntegerVariable>
Parameters:
solver -
variables -
parameters -
options -
Returns:
array of 2 SConstraint object, the constraint and its opposite


Copyright © 2012. All Rights Reserved.