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