Class for assigning maximum value. More...
#include <branch.hh>
Public Member Functions | |
AssignValMed (void) | |
Default constructor. | |
AssignValMed (Space &home, const ValBranchOptions &vbo) | |
Constructor for initialization. | |
![]() | |
ValMed (void) | |
Default constructor. | |
ValMed (Space &home, const ValBranchOptions &vbo) | |
Constructor for initialization. | |
int | val (Space &home, View x) const |
Return maximum value of view x. | |
ModEvent | tell (Space &home, unsigned int a, View x, int n) |
Tell ![]() ![]() | |
![]() | |
ValSelBase (void) | |
Default constructor. | |
ValSelBase (Space &home, const ValBranchOptions &vbo) | |
Constructor for initialization. | |
EmptyValSelChoice | choice (Space &home) |
Return choice. | |
EmptyValSelChoice | choice (const Space &home, Archive &e) |
Return choice. | |
void | commit (Space &home, const EmptyValSelChoice &c, unsigned a) |
Commit to choice. | |
void | update (Space &home, bool share, ValSelBase &vs) |
Updating during cloning. | |
void | dispose (Space &home) |
Delete value selection. |
Static Public Attributes | |
static const unsigned int | alternatives = 1 |
Number of alternatives. |
Class for assigning maximum value.
|
inline |
Default constructor.
Definition at line 201 of file select-val.hpp.
|
inline |
Constructor for initialization.
Definition at line 204 of file select-val.hpp.
|
static |
Number of alternatives.
Reimplemented from Gecode::ValSelBase< View, int >.