|
| AssignValZero (void) |
| Default constructor. More...
|
|
| AssignValZero (Space &home, const ValBranchOptions &vbo) |
| Constructor for initialization. More...
|
|
| ValZeroOne (void) |
| Default constructor. More...
|
|
| ValZeroOne (Space &home, const ValBranchOptions &vbo) |
| Constructor for initialization. More...
|
|
NoValue | val (Space &home, View x) const |
| Return no value of view x. More...
|
|
ModEvent | tell (Space &home, unsigned int a, View x, NoValue n) |
| Tell (a = 0) or (a = 1) More...
|
|
| ValSelBase (void) |
| Default constructor. More...
|
|
| ValSelBase (Space &home, const ValBranchOptions &vbo) |
| Constructor for initialization. More...
|
|
EmptyValSelChoice | choice (Space &home) |
| Return choice. More...
|
|
EmptyValSelChoice | choice (const Space &home, Archive &e) |
| Return choice. More...
|
|
void | commit (Space &home, const EmptyValSelChoice &c, unsigned a) |
| Commit to choice. More...
|
|
void | update (Space &home, bool share, ValSelBase &vs) |
| Updating during cloning. More...
|
|
void | dispose (Space &home) |
| Delete value selection. More...
|
|
template<class View>
class Gecode::Int::Branch::AssignValZero< View >
Class for assigning zero.
Definition at line 286 of file branch.hh.