bool neg
Is atomic formula negative.
IntRelType
Relation types for integers.
@ IRT_GQ
Greater or equal ( )
@ IRT_LQ
Less or equal ( )
Gecode toplevel namespace
IntRelType swap(IntRelType irt)
Return swapped relation type of irt.
#define GECODE_NEVER
Assert that this command is never executed.