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) inheritance
|
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
|
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.
|
Propagator<V extends Variable> |
A
Propagator class defines methods to react on a Variable objects modifications. |
ReificationConstraint |
Implication constraint: boolean b => constraint c
Also known as half reification
|
Enum | Description |
---|---|
Constraint.Status |
Status of this constraint wrt the model
|
Operator |
|
PropagatorPriority |
|
Copyright © 2018. All rights reserved.