Gecode::BoolVarBranch Class Reference
[Branching]

Which Boolean variable to select for branching. More...

#include <int.hh>

Public Types
enum	Select { SEL_NONE = 0, SEL_RND, SEL_MERIT_MIN, SEL_MERIT_MAX, SEL_DEGREE_MIN, SEL_DEGREE_MAX, SEL_AFC_MIN, SEL_AFC_MAX, SEL_ACTION_MIN, SEL_ACTION_MAX, SEL_CHB_MIN, SEL_CHB_MAX }
	Which variable selection. More...
Public Member Functions
	BoolVarBranch (void)
	Initialize with strategy SEL_NONE.
	BoolVarBranch (Rnd r)
	Initialize with random number generator r.
	BoolVarBranch (Select s, BranchTbl t)
	Initialize with selection strategy s and tie-break limit function t.
	BoolVarBranch (Select s, double d, BranchTbl t)
	Initialize with selection strategy s, decay factor d, and tie-break limit function t.
	BoolVarBranch (Select s, BoolAFC a, BranchTbl t)
	Initialize with selection strategy s, AFC a, and tie-break limit function t.
	BoolVarBranch (Select s, BoolAction a, BranchTbl t)
	Initialize with selection strategy s, action a, and tie-break limit function t.
	BoolVarBranch (Select s, BoolCHB c, BranchTbl t)
	Initialize with selection strategy s, CHB c, and tie-break limit function t.
	BoolVarBranch (Select s, BoolBranchMerit mf, BranchTbl t)
	Initialize with selection strategy s, branch merit function mf, and tie-break limit function t.
Select	select (void) const
	Return selection strategy.
void	expand (Home home, const BoolVarArgs &x)
	Expand decay factor into AFC or action.
Protected Attributes
Select	s
	Which variable to select.

Detailed Description

Which Boolean variable to select for branching.

Definition at line 4305 of file int.hh.

Member Enumeration Documentation

enum Gecode::BoolVarBranch::Select

Which variable selection.

Enumerator:

SEL_NONE	First unassigned.
SEL_RND	Random (uniform, for tie breaking).
SEL_MERIT_MIN	With least merit.
SEL_MERIT_MAX	With highest merit.
SEL_DEGREE_MIN	With smallest degree.
SEL_DEGREE_MAX	With largest degree.
SEL_AFC_MIN	With smallest accumulated failure count.
SEL_AFC_MAX	With largest accumulated failure count.
SEL_ACTION_MIN	With lowest action.
SEL_ACTION_MAX	With highest action.
SEL_CHB_MIN	With lowest CHB.
SEL_CHB_MAX	With highest CHB.

Definition at line 4308 of file int.hh.

Constructor & Destructor Documentation

Gecode::BoolVarBranch::BoolVarBranch ( void ) [inline]

Initialize with strategy SEL_NONE.

Definition at line 312 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch ( Rnd r ) [inline]

Initialize with random number generator r.

Definition at line 320 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch	(	Select	s,
		BranchTbl	t
	)			`[inline]`

Initialize with selection strategy s and tie-break limit function t.

Definition at line 316 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch	(	Select	s,
		double	d,
		BranchTbl	t
	)			`[inline]`

Initialize with selection strategy s, decay factor d, and tie-break limit function t.

Definition at line 324 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch	(	Select	s,
		BoolAFC	a,
		BranchTbl	t
	)			`[inline]`

Initialize with selection strategy s, AFC a, and tie-break limit function t.

Definition at line 328 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch	(	Select	s,
		BoolAction	a,
		BranchTbl	t
	)			`[inline]`

Initialize with selection strategy s, action a, and tie-break limit function t.

Definition at line 332 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch	(	Select	s,
		BoolCHB	c,
		BranchTbl	t
	)			`[inline]`

Initialize with selection strategy s, CHB c, and tie-break limit function t.

Definition at line 336 of file var.hpp.

Gecode::BoolVarBranch::BoolVarBranch	(	Select	s,
		BoolBranchMerit	mf,
		BranchTbl	t
	)			`[inline]`

Initialize with selection strategy s, branch merit function mf, and tie-break limit function t.

Definition at line 340 of file var.hpp.

Member Function Documentation

BoolVarBranch::Select Gecode::BoolVarBranch::select ( void ) const [inline]

Return selection strategy.

Definition at line 344 of file var.hpp.

void Gecode::BoolVarBranch::expand	(	Home	home,
		const BoolVarArgs &	x
	)			`[inline]`

Expand decay factor into AFC or action.

Definition at line 349 of file var.hpp.

Member Data Documentation

Select Gecode::BoolVarBranch::s [protected]

Which variable to select.

Definition at line 4324 of file int.hh.

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

gecode/int.hh (Revision: 15623)
gecode/int/branch/var.hpp (Revision: 15562)

Gecode::BoolVarBranch Class Reference [Branching]

Public Types