choco.kernel.model.constraints
Interface ExpressionManager

All Known Subinterfaces:
VariableManager<V>
All Known Implementing Classes:
AbsManager, AbsoluteManager, AbstractPrecedenceManager, AbstractResourceManager, AllDifferentManager, AmongSetManager, AndManager, AtMostNValueManager, BooleanManager, ChannelingManager, ClausesManager, ComplementSetManager, ConstraintManager, CosManager, CostRegularManager, CumulativeManager, DisjunctionManager, DisjunctiveManager, DistanceEQManager, DistanceGTManager, DistanceLTManager, DistanceManager, DistanceNEQManager, DivManager, DoubleManager, ElementManager, EqManager, EuclideanDivisionManager, ExactlyManager, FastRegularManager, ForbiddenIntervalsManager, GeostManager, GlobalCardinalityManager, IfOnlyIfManager, IfThenElseManager, ImpliesManager, IncreasingNValueManager, IncreasingSumManager, IntConstraintManager, IntegerExpressionManager, IntegerVariableManager, IntersectionManager, InverseSetManager, IsIncludedManager, IsNotIncludedManager, KnapsackProblemManager, LexChainManager, LeximinManager, LexManager, MaxManager, MemberManager, MemberManager, MemberXiY.MemberXiYManager, MetaTaskConstraintManager, MinManager, MinMaxManager, MinSpanningTree.MinSpanningTreeManager, MinusManager, MixedConstraintManager, ModuloManager, MultiCostRegularManager, MultManager, NandManager, NegManager, NorManager, NotManager, NotMemberManager, NotMemberManager, NSPStruct.NSPStrucManager, OccurrenceManager, OrderedGccManager, OrManager, PackManager, PlusManager, PowerManager, PrecedenceDisjointManager, PrecedenceImpliedManager, PrecedenceReifiedManager, RealConstraintManager, RealVariableManager, RegularManager, ReifiedAndManager, ReifiedImplicationManager, ReifiedImplManager, ReifiedManager, ReifiedNandManager, ReifiedNorManager, ReifiedOrManager, ReifiedXnorManager, ReifiedXorManager, ScalarAtMost.ScalarAtMostManager, ScalarManager, SetConstraintManager, SetLexicographicOrderingSetManager, SetValuePrecedeManager, SetVariableManager, SignOpManager, SimpleChannelling.SimpleManager, SimpleDTConstraint.SimpleDTConstraintManager, SinManager, SoftCumulativeManager, SoftCumulativeSumManager, SoftMultiCostRegularManager, SortingManager, SqrtManager, StretchPathManager, StrongConsistencyManager, SubSetChannelling.SubSetManager, SubTourConstraint.SubTourConstraintManager, SumManager, TableManager, TaskVariableManager, TimesManager, TreeManager, UnionManager, UseResourcesManager, XnorManager, XorManager

public interface ExpressionManager


Field Summary
static Logger LOGGER
           
 
Method Summary
 INode makeNode(Solver solver, Constraint[] cstrs, Variable[] vars)
          Build a expression node
 

Field Detail

LOGGER

static final Logger LOGGER
Method Detail

makeNode

INode makeNode(Solver solver,
               Constraint[] cstrs,
               Variable[] vars)
Build a expression node

Parameters:
solver -
cstrs - constraints
vars - variables
Returns:


Copyright © 2012. All Rights Reserved.