Base class for value selection. More...
#include <brancher-val.hpp>
Public Types | |
typedef _View | View |
View type. | |
typedef _Val | Val |
Value type. | |
typedef EmptyValSelChoice | Choice |
Choice type. | |
Public Member Functions | |
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 = 2 |
Number of alternatives. |
Base class for value selection.
Defines the brancher to be binary.
typedef _View Gecode::ValSelBase::View |
View type.
Definition at line 64 of file brancher-val.hpp.
typedef _Val Gecode::ValSelBase::Val |
Value type.
Definition at line 66 of file brancher-val.hpp.
Choice type.
Definition at line 68 of file brancher-val.hpp.
Gecode::ValSelBase::ValSelBase | ( | void | ) | [inline] |
Default constructor.
Definition at line 100 of file brancher-val.hpp.
Gecode::ValSelBase::ValSelBase | ( | Space & | home, |
const ValBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 103 of file brancher-val.hpp.
EmptyValSelChoice Gecode::ValSelBase::choice | ( | Space & | home | ) | [inline] |
Return choice.
Definition at line 106 of file brancher-val.hpp.
EmptyValSelChoice Gecode::ValSelBase::choice | ( | const Space & | home, |
Archive & | e | ||
) | [inline] |
Return choice.
Definition at line 111 of file brancher-val.hpp.
void Gecode::ValSelBase::commit | ( | Space & | home, |
const EmptyValSelChoice & | c, | ||
unsigned | a | ||
) | [inline] |
Commit to choice.
Definition at line 116 of file brancher-val.hpp.
void Gecode::ValSelBase::update | ( | Space & | home, |
bool | share, | ||
ValSelBase & | vs | ||
) |
Updating during cloning.
void Gecode::ValSelBase::dispose | ( | Space & | home | ) | [inline] |
Delete value selection.
Definition at line 122 of file brancher-val.hpp.
const unsigned int Gecode::ValSelBase::alternatives = 2 [static] |
Number of alternatives.
Definition at line 70 of file brancher-val.hpp.