Action & operator=(const Action &a)
Assignment operator.
Action(void)
Construct as not yet intialized.
Recording actions for Boolean variables.
BoolAction(void)
Construct as not yet initialized.
BoolAction & operator=(const BoolAction &a)
Assignment operator.
Recording actions for integer variables.
IntAction & operator=(const IntAction &a)
Assignment operator.
IntAction(void)
Construct as not yet initialized.
Gecode toplevel namespace