Public Member Functions |
Static Public Member Functions |
Public Attributes |
Static Public Attributes
Gecode::VarBranchOptions Class Reference
[Generic brancher support]
Variable branch options. More...
#include <branch.hpp>
Public Member Functions | |
VarBranchOptions (void) | |
Initialize with default values. | |
Static Public Member Functions | |
static VarBranchOptions | time (void) |
Return object with time-based seed value. | |
Public Attributes | |
unsigned int | seed |
Seed for random variable selection. | |
Static Public Attributes | |
static const VarBranchOptions | def |
Default options. |
Detailed Description
Variable branch options.
Definition at line 54 of file branch.hpp.
Constructor & Destructor Documentation
Gecode::VarBranchOptions::VarBranchOptions | ( | void | ) | [inline] |
Initialize with default values.
Definition at line 162 of file branch.hpp.
Member Function Documentation
VarBranchOptions Gecode::VarBranchOptions::time | ( | void | ) | [inline, static] |
Return object with time-based seed value.
Definition at line 164 of file branch.hpp.
Member Data Documentation
unsigned int Gecode::VarBranchOptions::seed |
Seed for random variable selection.
Definition at line 57 of file branch.hpp.
const VarBranchOptions Gecode::VarBranchOptions::def [static] |
Default options.
Definition at line 59 of file branch.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/branch.hpp (Revision: 9878)
- gecode/kernel/branch.cpp (Revision: 10684)