49 return static_cast<FloatAction&>(Action::operator =(
a));
FloatAction & operator=(const FloatAction &a)
Assignment operator.
Recording actions for float variables.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode toplevel namespace
Class for action management.
FloatAction(void)
Construct as not yet initialized.