FloatActivity(void)
Construct as not yet initialized.
FloatActivity & operator=(const FloatActivity &a)
Assignment operator.
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
Activity & operator=(const Activity &a)
Assignment operator.
Recording activities for float variables.
Class for activity management.