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