struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Class for action management.
Action & operator=(const Action &a)
Assignment operator.
Recording actions for set variables.
SetAction(void)
Construct as not yet initialized.
Gecode toplevel namespace