Module org.chocosolver
Package org.chocosolver.solver.constraints
-
Interface Summary Interface Description IConstraintFactory Interface to make constraints over BoolVar, IntVar, RealVar and SetVar A kind of factory relying on interface default implementation to allow (multiple) inheritanceIDecompositionFactory An interface dedicated to list decomposition of some constraints.IIntConstraintFactory Interface to make constraints over BoolVar and IntVar A kind of factory relying on interface default implementation to allow (multiple) inheritanceIRealConstraintFactory Interface to make constraints over RealVar A kind of factory relying on interface default implementation to allow (multiple) inheritanceIReificationFactory Interface to reify constraints A kind of factory relying on interface default implementation to allow (multiple) inheritanceISatFactory A factory dedicated to SAT.ISetConstraintFactory Interface to make constraints over SetVar A kind of factory relying on interface default implementation to allow (multiple) inheritance -
Class Summary Class Description Arithmetic A constraint dedicated to arithmetic operations.Constraint A Constraint is basically a set ofPropagator
.ConstraintsName Utility class to store constraint's name.Propagator<V extends Variable> APropagator
class defines methods to react on aVariable
objects modifications.ReificationConstraint Implication constraint: boolean b => constraint c Also known as half reification -
Enum Summary Enum Description Constraint.Status Status of this constraint wrt the modelOperator PropagatorPriority