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