Gecode::VarBranchOptions Class Reference
[Generic branching support]

Variable branch options. More...

#include <branch.hpp>

List of all members.

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.

---

Detailed Description

Variable branch options.

Definition at line 59 of file branch.hpp.

---

Constructor & Destructor Documentation

Gecode::VarBranchOptions::VarBranchOptions

(

BranchFilter

bf0 = NULL

)

[inline]

Initialize with default values.

Definition at line 169 of file branch.hpp.

---

Member Function Documentation

VarBranchOptions Gecode::VarBranchOptions::time

(

BranchFilter

bf = NULL

)

[inline, static]

Return object with time-based seed value.

Definition at line 173 of file branch.hpp.

---

Member Data Documentation

BranchFilter Gecode::VarBranchOptions::bf

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.

---

The documentation for this class was generated from the following files:

• gecode/kernel/branch.hpp (Revision: 11386)
• gecode/kernel/branch.cpp (Revision: 12001)