IConstraintFactory |
Interface to make constraints over BoolVar, IntVar, RealVar and SetVar
A kind of factory relying on interface default implementation to allow (multiple) inheritance
|
IDecompositionFactory |
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) inheritance
|
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
A kind of factory relying on interface default implementation to allow (multiple) inheritance
|