Recording activities for set variables.
SetActivity(void)
Construct as not yet initialized.
Activity & operator=(const Activity &a)
Assignment operator.
Gecode toplevel namespace
Class for activity management.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
SetActivity & operator=(const SetActivity &a)
Assignment operator.