CHB(void)
Construct as not yet intialized.
CHB & operator=(const CHB &a)
Assignment operator.
Recording CHB for float variables.
FloatCHB & operator=(const FloatCHB &chb)
Assignment operator.
FloatCHB(void)
Construct as not yet initialized.
Gecode toplevel namespace