struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
BoolAction & operator=(const BoolAction &a)
Assignment operator.
BoolAction(void)
Construct as not yet initialized.
Recording actions for Boolean variables.
IntAction & operator=(const IntAction &a)
Assignment operator.
Action & operator=(const Action &a)
Assignment operator.
Gecode toplevel namespace
Class for action management.
IntAction(void)
Construct as not yet initialized.
Recording actions for integer variables.