Module org.chocosolver.solver

Package org.chocosolver.solver.constraints

Interface Summary

Interface	Description
IConstraintFactory	Interface to make constraints over BoolVar, IntVar, RealVar and SetVar
IDecompositionFactory	An interface dedicated to list decomposition of some constraints.
IGraphConstraintFactory	Some usual graph constraints
IIntConstraintFactory	Interface to make constraints over BoolVar and IntVar
IRealConstraintFactory	Interface to make constraints over RealVar A kind of factory relying on interface default implementation to allow (multiple) inheritance
IReificationFactory	Interface to reify constraints A kind of factory relying on interface default implementation to allow (multiple) inheritance
ISatFactory	A factory dedicated to SAT.
ISetConstraintFactory	Interface to make constraints over SetVar
UpdatablePropagator<W>	A specific interface propagator to enable, under certain conditions, to update some of their internal structure.

Class Summary

Class	Description
Arithmetic	A constraint dedicated to arithmetic operations.
Constraint	A Constraint is basically a set of Propagator.
ConstraintsName	Utility class to store constraint's name.
ImpliedConstraint	Equivalence constraint: boolean b <=> constraint c Also known as reification
Propagator<V extends Variable>	A Propagator class defines methods to react on a Variable objects modifications.
ReificationConstraint	Equivalence constraint: boolean b <=> constraint c Also known as reification

Enum Summary

Enum	Description
Constraint.Status	Status of this constraint wrt the model
Operator
PropagatorPriority