Class for assigning random value. More...
#include <branch.hh>
Public Member Functions | |
AssignValRnd (void) | |
Default constructor. | |
AssignValRnd (Space &home, const ValBranchOptions &vbo) | |
Constructor for initialization. | |
Static Public Attributes | |
static const unsigned int | alternatives = 1 |
Number of alternatives. |
Class for assigning random value.
Gecode::Int::Branch::AssignValRnd::AssignValRnd | ( | void | ) | [inline] |
Default constructor.
Definition at line 210 of file select-val.hpp.
Gecode::Int::Branch::AssignValRnd::AssignValRnd | ( | Space & | home, |
const ValBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 213 of file select-val.hpp.
const unsigned int Gecode::Int::Branch::AssignValRnd::alternatives = 1 [static] |
Number of alternatives.
Reimplemented from Gecode::Int::Branch::ValRnd< View >.