70 : vf(NULL), cf(NULL) {}
74 :
r(r0), vf(NULL), cf(NULL) {
Gecode::FloatVal c(-8, 8)
bool initialized(void) const
Test whether generator has been properly initialized.
Exception: uninitialized random number generator
void(* VoidFunction)(void)
Base type for any function pointer.
Rnd rnd(void) const
Return random number generator.
VoidFunction val(void) const
Return value function.
Value branching information.
VoidFunction vf
Value function.
VoidFunction commit(void) const
Return commit function.
VoidFunction cf
Commit function.
Gecode toplevel namespace
ValBranch(void)
Initialize.
Rnd r
Random number generator.