Home class for posting propagators
Reification specification.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
IntRelType
Relation types for integers.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
IntRelType swap(IntRelType irt)
Return swapped relation type of irt.
Post propagator for SetVar x