Gecode::ValBranchOptions Class Reference
[Generic branching support]
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. |
Detailed Description
Value branch options.
Definition at line 76 of file branch.hpp.
Constructor & Destructor Documentation
Gecode::ValBranchOptions::ValBranchOptions | ( | void | ) | [inline] |
Initialize with default values.
Definition at line 181 of file branch.hpp.
Member Function Documentation
ValBranchOptions Gecode::ValBranchOptions::time | ( | void | ) | [inline, static] |
Return object with time-based seed value.
Definition at line 184 of file branch.hpp.
Member Data Documentation
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.
The documentation for this class was generated from the following files:
- gecode/kernel/branch.hpp (Revision: 11386)
- gecode/kernel/branch.cpp (Revision: 12001)