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