Gecode::ViewBrancher< View, n > Class Template Reference
[Generic brancher based on view selection]

Generic brancher by view selection. More...

#include <brancher-view.hpp>

List of all members.

Public Member Functions
virtual bool	status (const Space &home) const
	Check status of brancher, return true if alternatives left.
virtual size_t	dispose (Space &home)
	Delete brancher and return its size.
Protected Types
typedef BranchTraits< typename View::VarType >::Filter	BranchFilter
	The branch filter that corresponds to the var type.
Protected Member Functions
Pos	pos (Space &home)
	Return position information.
View	view (const Pos &p) const
	Return view according to position information p.
	ViewBrancher (Space &home, bool shared, ViewBrancher< View, n > &b)
	Constructor for cloning b.
	ViewBrancher (Home home, ViewArray< View > &x, ViewSel< View > *vs[n], BranchFilter bf)
	Constructor for creation.
Protected Attributes
ViewArray< View >	x
	Views to branch on.
int	start
	Unassigned views start at x[start].
ViewSel< View > *	vs [n]
	View selection objects.
BranchFilter	bf
	Branch filter function.

---

Detailed Description

template<class View, int n>
class Gecode::ViewBrancher< View, n >

Generic brancher by view selection.

Defined for views of type View and n view selectors for tie-breaking.

Definition at line 79 of file brancher-view.hpp.

---

Member Typedef Documentation

template<class View, int n>

typedef BranchTraits<typename View::VarType>::Filter Gecode::ViewBrancher< View, n >::BranchFilter [protected]

The branch filter that corresponds to the var type.

Definition at line 82 of file brancher-view.hpp.

---

Constructor & Destructor Documentation

template<class View, int n>

Gecode::ViewBrancher< View, n >::ViewBrancher	(	Space &	home,
		bool	shared,
		ViewBrancher< View, n > &	b
	)			[inline, protected]

Constructor for cloning b.

Definition at line 154 of file brancher-view.hpp.

template<class View, int n>

Gecode::ViewBrancher< View, n >::ViewBrancher	(	Home	home,
		ViewArray< View > &	x,
		ViewSel< View > *	vs[n],
		BranchFilter	bf
	)			[inline, protected]

Constructor for creation.

Definition at line 140 of file brancher-view.hpp.

---

Member Function Documentation

template<class View , int n>

Pos Gecode::ViewBrancher< View, n >::pos

(

Space &

home

)

[inline, protected]

Return position information.

Definition at line 185 of file brancher-view.hpp.

template<class View , int n>

View Gecode::ViewBrancher< View, n >::view

(

const Pos &

p

)

const [inline, protected]

Return view according to position information p.

Definition at line 225 of file brancher-view.hpp.

template<class View , int n>

bool Gecode::ViewBrancher< View, n >::status

(

const Space &

home

)

const [inline, virtual]

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 164 of file brancher-view.hpp.

template<class View , int n>

size_t Gecode::ViewBrancher< View, n >::dispose

(

Space &

home

)

[inline, virtual]

Delete brancher and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a >, and Gecode::ViewValBrancher< View, n, Val, a >.

Definition at line 231 of file brancher-view.hpp.

---

Member Data Documentation

template<class View, int n>

ViewArray<View> Gecode::ViewBrancher< View, n >::x [protected]

Views to branch on.

Definition at line 84 of file brancher-view.hpp.

template<class View, int n>

int Gecode::ViewBrancher< View, n >::start [mutable, protected]

Unassigned views start at x[start].

Definition at line 86 of file brancher-view.hpp.

template<class View, int n>

ViewSel<View>* Gecode::ViewBrancher< View, n >::vs[n] [protected]

View selection objects.

Definition at line 88 of file brancher-view.hpp.

template<class View, int n>

BranchFilter Gecode::ViewBrancher< View, n >::bf [protected]

Branch filter function.

Definition at line 90 of file brancher-view.hpp.

---

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

• gecode/kernel/brancher-view.hpp (Revision: 13654)