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