|
| | AssignValMin (void) |
| | Default constructor. More...
|
| |
| | AssignValMin (Space &home, const ValBranchOptions &vbo) |
| | Constructor for initialization. More...
|
| |
| | ValMin (void) |
| | Default constructor. More...
|
| |
| | ValMin (Space &home, const ValBranchOptions &vbo) |
| | Constructor for initialization. More...
|
| |
| int | val (Space &home, SetView x) const |
| | Return minimum value of view x. More...
|
| |
| ModEvent | tell (Space &home, unsigned int a, SetView x, int v) |
| | 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<bool inc>
class Gecode::Set::Branch::AssignValMin< inc >
Class for assigning minimum value.
Definition at line 165 of file branch.hh.