Public Member Functions |
| AssignValRnd (void) |
| Default constructor.
|
| AssignValRnd (Space &home, const ValBranchOptions &vbo) |
| Constructor for initialization.
|
| ValRnd (void) |
| Default constructor.
|
| ValRnd (Space &home, const ValBranchOptions &vbo) |
| Constructor for initialization.
|
int | val (Space &home, SetView x) |
| Return minimum value of view x.
|
ModEvent | tell (Space &home, unsigned int a, SetView x, int n) |
| Tell (a = 0) or (a = 1)
|
Choice | choice (Space &home) |
| Return choice.
|
Choice | choice (const Space &home, Archive &e) |
| Return choice.
|
void | commit (Space &home, const Choice &c, unsigned a) |
| Commit to choice.
|
void | update (Space &home, bool share, ValRnd &vs) |
| Updating during cloning.
|
void | dispose (Space &home) |
| Delete value selection.
|
template<bool inc>
class Gecode::Set::Branch::AssignValRnd< inc >
Class for assigning random value.
Definition at line 201 of file branch.hh.