Value branching information. More...
#include <branch-val.hpp>
Public Member Functions | |
ValBranch (void) | |
Initialize. | |
ValBranch (Rnd r) | |
Initialize with random number generator r. | |
ValBranch (VoidFunction v, VoidFunction c) | |
Initialize with value function v and commit function c. | |
Rnd | rnd (void) const |
Return random number generator. | |
VoidFunction | val (void) const |
Return value function. | |
VoidFunction | commit (void) const |
Return commit function. | |
Protected Attributes | |
Rnd | r |
Random number generator. | |
VoidFunction | vf |
Value function. | |
VoidFunction | cf |
Commit function. |
Value branching information.
Definition at line 44 of file branch-val.hpp.
Gecode::ValBranch::ValBranch | ( | void | ) | [inline] |
Initialize.
Definition at line 69 of file branch-val.hpp.
Gecode::ValBranch::ValBranch | ( | Rnd | r | ) | [inline] |
Initialize with random number generator r.
Definition at line 73 of file branch-val.hpp.
Gecode::ValBranch::ValBranch | ( | VoidFunction | v, |
VoidFunction | c | ||
) | [inline] |
Initialize with value function v and commit function c.
Definition at line 80 of file branch-val.hpp.
Rnd Gecode::ValBranch::rnd | ( | void | ) | const [inline] |
Return random number generator.
Definition at line 84 of file branch-val.hpp.
VoidFunction Gecode::ValBranch::val | ( | void | ) | const [inline] |
Return value function.
Definition at line 89 of file branch-val.hpp.
VoidFunction Gecode::ValBranch::commit | ( | void | ) | const [inline] |
Return commit function.
Definition at line 94 of file branch-val.hpp.
Rnd Gecode::ValBranch::r [protected] |
Random number generator.
Definition at line 47 of file branch-val.hpp.
VoidFunction Gecode::ValBranch::vf [protected] |
Value function.
Definition at line 49 of file branch-val.hpp.
VoidFunction Gecode::ValBranch::cf [protected] |
Commit function.
Definition at line 51 of file branch-val.hpp.