Recording CHB for Boolean variables.
BoolCHB & operator=(const BoolCHB &chb)
Assignment operator.
BoolCHB(void)
Construct as not yet initialized.
Class for CHB management.
CHB & operator=(const CHB &a)
Assignment operator.
Recording CHB for integer variables.
IntCHB(void)
Construct as not yet initialized.
IntCHB & operator=(const IntCHB &chb)
Assignment operator.
Gecode toplevel namespace