Gecode::FlatZinc::IntBoolVarBranch Class Reference

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

#include <branch.hh>

List of all members.

Public Types
enum	Select {   SEL_AFC_MAX, SEL_ACTION_MAX, SEL_CHB_MAX, SEL_AFC_SIZE_MAX,   SEL_ACTION_SIZE_MAX, SEL_CHB_SIZE_MAX }
	Which variable selection. More...
Public Member Functions
	IntBoolVarBranch (Select s, double d)
	Initialize with selection strategy s and decay factor d.
	IntBoolVarBranch (Select s, IntAFC i, BoolAFC b)
	Initialize with selection strategy s and AFC i and b.
	IntBoolVarBranch (Select s, IntAction i, BoolAction b)
	Initialize with selection strategy s and action i and b.
	IntBoolVarBranch (Select s, IntCHB i, BoolCHB b)
	Initialize with selection strategy s and CHB i and b.
Select	select (void) const
	Return selection strategy.
IntAFC	intafc (void) const
	Return integer AFC.
BoolAFC	boolafc (void) const
	Return Boolean AFC.
IntAction	intaction (void) const
	Return integer action.
BoolAction	boolaction (void) const
	Return Boolean action.
IntCHB	intchb (void) const
	Return integer CHB.
BoolCHB	boolchb (void) const
	Return Boolean AFC.
void	expand (Home home, const IntVarArgs &x, const BoolVarArgs &y)
	Expand AFC, action, and CHB.
Protected Attributes
Select	s
	Which variable to select.
IntAFC	iafc
	Integer AFC.
BoolAFC	bafc
	Boolean AFC.
IntAction	iaction
	Integer action.
BoolAction	baction
	Boolean action.
IntCHB	ichb
	Integer CHB.
BoolCHB	bchb
	Boolean CHB.

---

Detailed Description

Which integer or Boolean variable to select for branching.

Definition at line 44 of file branch.hh.

---

Member Enumeration Documentation

enum Gecode::FlatZinc::IntBoolVarBranch::Select

Which variable selection.

Enumerator:

SEL_AFC_MAX	With largest accumulated failure count.
SEL_ACTION_MAX	With highest action.
SEL_CHB_MAX	With highest CHB Q-score.
SEL_AFC_SIZE_MAX	With largest accumulated failure count divided by domain size.
SEL_ACTION_SIZE_MAX	With largest action divided by domain size.
SEL_CHB_SIZE_MAX	With largest CHB Q-score divided by domain size.

Definition at line 47 of file branch.hh.

---

Constructor & Destructor Documentation

Gecode::FlatZinc::IntBoolVarBranch::IntBoolVarBranch	(	Select	s,
		double	d
	)			[inline]

Initialize with selection strategy s and decay factor d.

Definition at line 37 of file branch.hpp.

Gecode::FlatZinc::IntBoolVarBranch::IntBoolVarBranch	(	Select	s,
		IntAFC	i,
		BoolAFC	b
	)			[inline]

Initialize with selection strategy s and AFC i and b.

Definition at line 41 of file branch.hpp.

Gecode::FlatZinc::IntBoolVarBranch::IntBoolVarBranch	(	Select	s,
		IntAction	i,
		BoolAction	b
	)			[inline]

Initialize with selection strategy s and action i and b.

Definition at line 45 of file branch.hpp.

Gecode::FlatZinc::IntBoolVarBranch::IntBoolVarBranch	(	Select	s,
		IntCHB	i,
		BoolCHB	b
	)			[inline]

Initialize with selection strategy s and CHB i and b.

Definition at line 49 of file branch.hpp.

---

Member Function Documentation

IntBoolVarBranch::Select Gecode::FlatZinc::IntBoolVarBranch::select

(

void

)

const [inline]

Return selection strategy.

Definition at line 53 of file branch.hpp.

IntAFC Gecode::FlatZinc::IntBoolVarBranch::intafc

(

void

)

const [inline]

Return integer AFC.

Definition at line 58 of file branch.hpp.

BoolAFC Gecode::FlatZinc::IntBoolVarBranch::boolafc

(

void

)

const [inline]

Return Boolean AFC.

Definition at line 62 of file branch.hpp.

IntAction Gecode::FlatZinc::IntBoolVarBranch::intaction

(

void

)

const [inline]

Return integer action.

Definition at line 67 of file branch.hpp.

BoolAction Gecode::FlatZinc::IntBoolVarBranch::boolaction

(

void

)

const [inline]

Return Boolean action.

Definition at line 71 of file branch.hpp.

IntCHB Gecode::FlatZinc::IntBoolVarBranch::intchb

(

void

)

const [inline]

Return integer CHB.

Definition at line 76 of file branch.hpp.

BoolCHB Gecode::FlatZinc::IntBoolVarBranch::boolchb

(

void

)

const [inline]

Return Boolean AFC.

Definition at line 80 of file branch.hpp.

void Gecode::FlatZinc::IntBoolVarBranch::expand	(	Home	home,
		const IntVarArgs &	x,
		const BoolVarArgs &	y
	)			[inline]

Expand AFC, action, and CHB.

Definition at line 84 of file branch.hpp.

---

Member Data Documentation

Select Gecode::FlatZinc::IntBoolVarBranch::s [protected]

Which variable to select.

Definition at line 57 of file branch.hh.

IntAFC Gecode::FlatZinc::IntBoolVarBranch::iafc [protected]

Integer AFC.

Definition at line 59 of file branch.hh.

BoolAFC Gecode::FlatZinc::IntBoolVarBranch::bafc [protected]

Boolean AFC.

Definition at line 61 of file branch.hh.

IntAction Gecode::FlatZinc::IntBoolVarBranch::iaction [protected]

Integer action.

Definition at line 63 of file branch.hh.

BoolAction Gecode::FlatZinc::IntBoolVarBranch::baction [protected]

Boolean action.

Definition at line 65 of file branch.hh.

IntCHB Gecode::FlatZinc::IntBoolVarBranch::ichb [protected]

Integer CHB.

Definition at line 67 of file branch.hh.

BoolCHB Gecode::FlatZinc::IntBoolVarBranch::bchb [protected]

Boolean CHB.

Definition at line 69 of file branch.hh.

---

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

• gecode/flatzinc/branch.hh
• gecode/flatzinc/branch.hpp