|
| | 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.