Gecode::ViewSelNone< View > Class Template Reference
[Generic view selection for brancher based on view and value selection]

Select the first unassigned view. More...

#include <view-sel.hpp>

List of all members.

Protected Types
typedef ViewSel< View >::Var	Var
	The corresponding variable type.
Initialization
	ViewSelNone (Space &home, const VarBranch< Var > &vb)
	Constructor for creation.
	ViewSelNone (Space &home, ViewSelNone< View > &vs)
	Constructor for copying during cloning.
View selection and tie breaking
virtual int	select (Space &home, ViewArray< View > &x, int s)
	Select a view from x starting at s and return its position.
virtual int	select (Space &home, ViewArray< View > &x, int s, BrancherFilter< View > &f)
	Select a view from x starting at s and return its position.
virtual void	ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n)
	Select ties from x starting at s.
virtual void	ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BrancherFilter< View > &f)
	Select ties from x starting at s.
virtual void	brk (Space &home, ViewArray< View > &x, int *ties, int &n)
	Break ties in x and update to new ties.
virtual int	select (Space &home, ViewArray< View > &x, int *ties, int n)
	Select a view from x considering view with positions in ties.
Resource management and cloning
virtual ViewSel< View > *	copy (Space &home)
	Create copy during cloning.

---

Detailed Description

template<class View>
class Gecode::ViewSelNone< View >

Select the first unassigned view.

Definition at line 109 of file view-sel.hpp.

---

Member Typedef Documentation

template<class View>

typedef ViewSel<View>::Var Gecode::ViewSelNone< View >::Var [protected]

The corresponding variable type.

Reimplemented from Gecode::ViewSel< View >.

Definition at line 111 of file view-sel.hpp.

---

Constructor & Destructor Documentation

template<class View >

Gecode::ViewSelNone< View >::ViewSelNone	(	Space &	home,
		const VarBranch< Var > &	vb
	)			[inline]

Constructor for creation.

Definition at line 421 of file view-sel.hpp.

template<class View >

Gecode::ViewSelNone< View >::ViewSelNone	(	Space &	home,
		ViewSelNone< View > &	vs
	)			[inline]

Constructor for copying during cloning.

Definition at line 425 of file view-sel.hpp.

---

Member Function Documentation

template<class View >

int Gecode::ViewSelNone< View >::select	(	Space &	home,
		ViewArray< View > &	x,
		int	s
	)			[inline, virtual]

Select a view from x starting at s and return its position.

Implements Gecode::ViewSel< View >.

Definition at line 429 of file view-sel.hpp.

template<class View >

int Gecode::ViewSelNone< View >::select	(	Space &	home,
		ViewArray< View > &	x,
		int	s,
		BrancherFilter< View > &	f
	)			[inline, virtual]

Select a view from x starting at s and return its position.

Implements Gecode::ViewSel< View >.

Definition at line 434 of file view-sel.hpp.

template<class View >

void Gecode::ViewSelNone< View >::ties	(	Space &	home,
		ViewArray< View > &	x,
		int	s,
		int *	ties,
		int &	n
	)			[inline, virtual]

Select ties from x starting at s.

Implements Gecode::ViewSel< View >.

Definition at line 440 of file view-sel.hpp.

template<class View >

void Gecode::ViewSelNone< View >::ties	(	Space &	home,
		ViewArray< View > &	x,
		int	s,
		int *	ties,
		int &	n,
		BrancherFilter< View > &	f
	)			[inline, virtual]

Select ties from x starting at s.

Implements Gecode::ViewSel< View >.

Definition at line 451 of file view-sel.hpp.

template<class View >

void Gecode::ViewSelNone< View >::brk	(	Space &	home,
		ViewArray< View > &	x,
		int *	ties,
		int &	n
	)			[inline, virtual]

Break ties in x and update to new ties.

Implements Gecode::ViewSel< View >.

Definition at line 463 of file view-sel.hpp.

template<class View >

int Gecode::ViewSelNone< View >::select	(	Space &	home,
		ViewArray< View > &	x,
		int *	ties,
		int	n
	)			[inline, virtual]

Select a view from x considering view with positions in ties.

Implements Gecode::ViewSel< View >.

Definition at line 468 of file view-sel.hpp.

template<class View >

ViewSel< View > * Gecode::ViewSelNone< View >::copy

(

Space &

home

)

[inline, virtual]

Create copy during cloning.

Implements Gecode::ViewSel< View >.

Definition at line 473 of file view-sel.hpp.

---

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

• gecode/kernel/branch/view-sel.hpp