choco.cp.model.managers
Class IntConstraintManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<IntegerVariable>
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>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
IntConstraintManager
public IntConstraintManager()
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.