Value branch options. More...
#include <branch.hpp>
Public Member Functions | |
ValBranchOptions (void) | |
Initialize with default values. | |
Static Public Member Functions | |
static ValBranchOptions | time (void) |
Return object with time-based seed value. | |
Public Attributes | |
unsigned int | seed |
Seed for random value selection. | |
Static Public Attributes | |
static const ValBranchOptions | def |
Default options. |
Value branch options.
Gecode::ValBranchOptions::ValBranchOptions | ( | void | ) | [inline] |
Initialize with default values.
Definition at line 181 of file branch.hpp.
ValBranchOptions Gecode::ValBranchOptions::time | ( | void | ) | [inline, static] |
Return object with time-based seed value.
Definition at line 184 of file branch.hpp.
unsigned int Gecode::ValBranchOptions::seed |
Seed for random value selection.
Definition at line 79 of file branch.hpp.
const ValBranchOptions Gecode::ValBranchOptions::def [static] |
Default options.
Definition at line 81 of file branch.hpp.