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.
Definition at line 76 of file branch.hpp.
|
inline |
Initialize with default values.
Definition at line 181 of file branch.hpp.
|
inlinestatic |
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.
|
static |
Default options.
Definition at line 81 of file branch.hpp.