49 return static_cast<FloatCHB&>(CHB::operator =(chb));
Class for CHB management.
Recording CHB for float variables.
Gecode toplevel namespace
FloatCHB(void)
Construct as not yet initialized.
FloatCHB & operator=(const FloatCHB &chb)
Assignment operator.