|
| ValSelRnd (Space &home, const ValBranch &vb) |
| Constructor for initialization. More...
|
|
| ValSelRnd (Space &home, bool shared, ValSelRnd &vs) |
| Constructor for cloning. More...
|
|
int | val (const Space &home, View x, int i) |
| Return value of view x at position i. More...
|
|
bool | notice (void) const |
| Whether dispose must always be called (that is, notice is needed) More...
|
|
void | dispose (Space &home) |
| Delete value selection. More...
|
|
| ValSel (Space &home, const ValBranch &vb) |
| Constructor for initialization. More...
|
|
| ValSel (Space &home, bool shared, ValSel< View, Val > &vs) |
| Constructor for cloning. More...
|
|
bool | notice (void) const |
| Whether dispose must always be called (that is, notice is needed) More...
|
|
void | dispose (Space &home) |
| Delete value selection. More...
|
|
template<class View>
class Gecode::Int::Branch::ValSelRnd< View >
Value selection class for random value of view.
Requires
Definition at line 316 of file branch.hh.