Gecode::VarBranchOptions Class Reference
[Generic branching support]

Variable branch options. More...

#include <branch.hpp>

List of all members.

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: 8146)
• gecode/kernel/branch.cpp (Revision: 8370)