Gecode::ViewBrancher< View, Filter, 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 View::VarType	Var
	The corresponding variable.
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, Filter, n > &b)
	Constructor for cloning b.
	ViewBrancher (Home home, ViewArray< View > &x, ViewSel< View > *vs[n], BranchFilter< Var > 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.
Filter	f
	Filter function.

---

Detailed Description

template<class View, class Filter, int n>
class Gecode::ViewBrancher< View, Filter, 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, class Filter, int n>

typedef View::VarType Gecode::ViewBrancher< View, Filter, n >::Var [protected]

The corresponding variable.

Reimplemented in Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.

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

---

Constructor & Destructor Documentation

template<class View, class Filter, int n>

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

Constructor for cloning b.

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

template<class View, class Filter, int n>

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

Constructor for creation.

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

---

Member Function Documentation

template<class View , class Filter , int n>

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

(

Space &

home

)

[inline, protected]

Return position information.

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

template<class View , class Filter , int n>

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

(

const Pos &

p

)

const [inline, protected]

Return view according to position information p.

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

template<class View , class Filter , int n>

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

(

const Space &

home

)

const [inline, virtual]

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

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

template<class View , class Filter , int n>

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

(

Space &

home

)

[inline, virtual]

Delete brancher and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::Int::Branch::ViewValuesBrancher< n, min, Filter, Print >, Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >, and Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.

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

---

Member Data Documentation

template<class View, class Filter, int n>

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

Views to branch on.

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

template<class View, class Filter, int n>

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

Unassigned views start at x[start].

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

template<class View, class Filter, int n>

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

View selection objects.

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

template<class View, class Filter, int n>

Filter Gecode::ViewBrancher< View, Filter, n >::f [protected]

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: 15623)