Gecode::ValBranchOptions Class Reference
[Generic branching support]

Value branch options. More...

#include <branch.hpp>

List of all members.

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 69 of file branch.hpp.

---

Constructor & Destructor Documentation

Gecode::ValBranchOptions::ValBranchOptions

(

void

)

[inline]

Initialize with default values.

Definition at line 171 of file branch.hpp.

---

Member Function Documentation

ValBranchOptions Gecode::ValBranchOptions::time

(

void

)

[inline, static]

Return object with time-based seed value.

Definition at line 173 of file branch.hpp.

---

Member Data Documentation

unsigned int Gecode::ValBranchOptions::seed

Seed for random value selection.

Definition at line 72 of file branch.hpp.

const ValBranchOptions Gecode::ValBranchOptions::def [static]

Default options.

Definition at line 74 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)