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