Gecode::IntVarBranch Class Reference
[Branching]

Which 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_ACTIVITY_MIN, SEL_ACTIVITY_MAX, SEL_MIN_MIN, SEL_MIN_MAX, SEL_MAX_MIN, SEL_MAX_MAX, SEL_SIZE_MIN, SEL_SIZE_MAX, SEL_DEGREE_SIZE_MIN, SEL_DEGREE_SIZE_MAX, SEL_AFC_SIZE_MIN, SEL_AFC_SIZE_MAX, SEL_ACTIVITY_SIZE_MIN, SEL_ACTIVITY_SIZE_MAX, SEL_REGRET_MIN_MIN, SEL_REGRET_MIN_MAX, SEL_REGRET_MAX_MIN, SEL_REGRET_MAX_MAX }
	Which variable selection. More...
Public Member Functions
	IntVarBranch (void)
	Initialize with strategy SEL_NONE.
	IntVarBranch (Rnd r)
	Initialize with random number generator r.
	IntVarBranch (Select s, BranchTbl t)
	Initialize with selection strategy s and tie-break limit function t.
	IntVarBranch (Select s, double d, BranchTbl t)
	Initialize with selection strategy s, decay factor d, and tie-break limit function t.
	IntVarBranch (Select s, AFC a, BranchTbl t)
	Initialize with selection strategy s, AFC a, and tie-break limit function t.
	IntVarBranch (Select s, Activity a, BranchTbl t)
	Initialize with selection strategy s, activity a, and tie-break limit function t.
	IntVarBranch (Select s, VoidFunction 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 IntVarArgs &x)
	Expand decay factor into AFC or activity.
void	expand (Home home, const BoolVarArgs &x)
	Expand decay factor into AFC or activity.
Protected Attributes
Select	s
	Which variable to select.

Detailed Description

Which variable to select for branching.

Definition at line 3798 of file int.hh.

Member Enumeration Documentation

enum Gecode::IntVarBranch::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_ACTIVITY_MIN	With lowest activity.
SEL_ACTIVITY_MAX	With highest activity.
SEL_MIN_MIN	With smallest min.
SEL_MIN_MAX	With largest min.
SEL_MAX_MIN	With smallest max.
SEL_MAX_MAX	With largest max.
SEL_SIZE_MIN	With smallest domain size.
SEL_SIZE_MAX	With largest domain size.
SEL_DEGREE_SIZE_MIN	With smallest degree divided by domain size.
SEL_DEGREE_SIZE_MAX	With largest degree divided by domain size.
SEL_AFC_SIZE_MIN	With smallest accumulated failure count divided by domain size.
SEL_AFC_SIZE_MAX	With largest accumulated failure count divided by domain size.
SEL_ACTIVITY_SIZE_MIN	With smallest activity divided by domain size.
SEL_ACTIVITY_SIZE_MAX	With largest activity divided by domain size.
SEL_REGRET_MIN_MIN	With smallest min-regret. The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain.
SEL_REGRET_MIN_MAX	With largest min-regret. The min-regret of a variable is the difference between the smallest and second-smallest value still in the domain.
SEL_REGRET_MAX_MIN	With smallest max-regret. The max-regret of a variable is the difference between the largest and second-largest value still in the domain.
SEL_REGRET_MAX_MAX	With largest max-regret. The max-regret of a variable is the difference between the largest and second-largest value still in the domain.

Definition at line 3801 of file int.hh.

Constructor & Destructor Documentation

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

Initialize with strategy SEL_NONE.

Definition at line 41 of file var.hpp.

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

Initialize with random number generator r.

Definition at line 49 of file var.hpp.

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

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

Definition at line 45 of file var.hpp.

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

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

Definition at line 53 of file var.hpp.

Gecode::IntVarBranch::IntVarBranch	(	Select	s,
		AFC	a,
		BranchTbl	t
	)			`[inline]`

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

Definition at line 57 of file var.hpp.

Gecode::IntVarBranch::IntVarBranch	(	Select	s,
		Activity	a,
		BranchTbl	t
	)			`[inline]`

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

Definition at line 61 of file var.hpp.

Gecode::IntVarBranch::IntVarBranch	(	Select	s,
		VoidFunction	mf,
		BranchTbl	t
	)			`[inline]`

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

Definition at line 65 of file var.hpp.

Member Function Documentation

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

Return selection strategy.

Definition at line 69 of file var.hpp.

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

Expand decay factor into AFC or activity.

Definition at line 74 of file var.hpp.

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

Expand decay factor into AFC or activity.

Definition at line 91 of file var.hpp.

Member Data Documentation

Select Gecode::IntVarBranch::s [protected]

Which variable to select.

Definition at line 3851 of file int.hh.

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

gecode/int.hh (Revision: 14362)
gecode/int/branch/var.hpp (Revision: 13313)

Gecode::IntVarBranch Class Reference [Branching]

Public Types