Variable branch options. More...
#include <branch.hpp>
Public Member Functions | |
VarBranchOptions (BranchFilter bf0=NULL) | |
Initialize with default values. | |
Static Public Member Functions | |
static VarBranchOptions | time (BranchFilter bf=NULL) |
Return object with time-based seed value. | |
Public Attributes | |
BranchFilter | bf |
Branch filter function. | |
unsigned int | seed |
Seed for random variable selection. | |
Static Public Attributes | |
static const VarBranchOptions | def |
Default options. |
Variable branch options.
Definition at line 59 of file branch.hpp.
Gecode::VarBranchOptions::VarBranchOptions | ( | BranchFilter | bf0 = NULL | ) | [inline] |
Initialize with default values.
Definition at line 169 of file branch.hpp.
VarBranchOptions Gecode::VarBranchOptions::time | ( | BranchFilter | bf = NULL | ) | [inline, static] |
Return object with time-based seed value.
Definition at line 173 of file branch.hpp.
Branch filter function.
Definition at line 62 of file branch.hpp.
unsigned int Gecode::VarBranchOptions::seed |
Seed for random variable selection.
Definition at line 64 of file branch.hpp.
const VarBranchOptions Gecode::VarBranchOptions::def [static] |
Default options.
Definition at line 66 of file branch.hpp.