CHB & operator=(const CHB &a)
Assignment operator.
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.