49 return static_cast<SetActivity&>(Activity::operator =(
a));
Recording activities for set variables.
SetActivity(void)
Construct as not yet initialized.
struct Gecode::@511::NNF::@54::@56 a
For atomic nodes.
Gecode toplevel namespace
Class for activity management.
SetActivity & operator=(const SetActivity &a)
Assignment operator.