Class for random value selection. More...
#include <branch.hh>
Public Types | |
typedef SetView | View |
View type. | |
typedef int | Val |
Value type. | |
typedef ArchivedRandomGenerator | Choice |
Choice. | |
Public Member Functions | |
ValRnd (void) | |
Default constructor. | |
ValRnd (Space &home, const ValBranchOptions &vbo) | |
Constructor for initialization. | |
int | val (Space &home, SetView x) |
Return minimum value of view x. | |
ModEvent | tell (Space &home, unsigned int a, SetView x, int n) |
Tell ![]() ![]() | |
Choice | choice (Space &home) |
Return choice. | |
Choice | choice (const Space &home, Archive &e) |
Return choice. | |
void | commit (Space &home, const Choice &c, unsigned a) |
Commit to choice. | |
void | update (Space &home, bool share, ValRnd &vs) |
Updating during cloning. | |
void | dispose (Space &home) |
Delete value selection. | |
Static Public Attributes | |
static const unsigned int | alternatives = 2 |
Number of alternatives. | |
Protected Attributes | |
ArchivedRandomGenerator | r |
Random number generator. |
typedef int Gecode::Set::Branch::ValRnd::Val |
Gecode::Set::Branch::ValRnd::ValRnd | ( | void | ) | [inline] |
Default constructor.
Definition at line 121 of file select-val.hpp.
Gecode::Set::Branch::ValRnd::ValRnd | ( | Space & | home, |
const ValBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 124 of file select-val.hpp.
Return minimum value of view x.
Definition at line 128 of file select-val.hpp.
ModEvent Gecode::Set::Branch::ValRnd::tell | ( | Space & | home, |
unsigned int | a, | ||
SetView | x, | ||
int | n | ||
) | [inline] |
Tell (a = 0) or
(a = 1)
Definition at line 141 of file select-val.hpp.
Return choice.
Definition at line 146 of file select-val.hpp.
ValRnd< inc >::Choice Gecode::Set::Branch::ValRnd::choice | ( | const Space & | home, |
Archive & | e | ||
) | [inline] |
Return choice.
Definition at line 151 of file select-val.hpp.
Commit to choice.
Definition at line 156 of file select-val.hpp.
Updating during cloning.
void Gecode::Set::Branch::ValRnd::dispose | ( | Space & | home | ) | [inline] |
Delete value selection.
Definition at line 167 of file select-val.hpp.
const unsigned int Gecode::Set::Branch::ValRnd::alternatives = 2 [static] |
Number of alternatives.
Reimplemented in Gecode::Set::Branch::AssignValRnd.