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

Abstract class for view selection. More...

#include <brancher-view-sel.hpp>

List of all members.

Public Types
typedef _View	View
	Define the view type.
typedef View::VarType	Var
	The corresponding variable type.
Initialization
	ViewSel (Space &home, const VarBranch< Var > &vb)
	Constructor for creation.
	ViewSel (Space &home, bool shared, ViewSel< View > &vs)
	Constructor for copying during cloning.
View selection and tie breaking
virtual int	select (Space &home, ViewArray< View > &x, int s)=0
	Select a view from x starting from s and return its position.
virtual int	select (Space &home, ViewArray< View > &x, int s, BrancherFilter< View > &f)=0
	Select a view from x starting from s and return its position.
virtual int	select (Space &home, ViewArray< View > &x, int s, BrancherNoFilter< View > &f)
	Select a view from x starting from s and return its position.
virtual void	ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n)=0
	Select ties from x starting from s.
virtual void	ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BrancherFilter< View > &f)=0
	Select ties from x starting from s.
virtual void	ties (Space &home, ViewArray< View > &x, int s, int *ties, int &n, BrancherNoFilter< View > &f)
	Select ties from x starting from s.
virtual void	brk (Space &home, ViewArray< View > &x, int *ties, int &n)=0
	Break ties in x and update to new ties.
virtual int	select (Space &home, ViewArray< View > &x, int *ties, int n)=0
	Select a view from x considering views with positions in ties.
Resource management and cloning
virtual ViewSel< View > *	copy (Space &home, bool shared)=0
	Create copy during cloning.
virtual bool	notice (void) const
	Whether dispose must always be called (that is, notice is needed).
virtual void	dispose (Space &home)
	Dispose view selection.
virtual	~ViewSel (void)
	Unused destructor.
Memory management
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	Return memory to space.
static void	operator delete (void *p)
	Needed for exceptions.

---

Detailed Description

template<class _View>
class Gecode::ViewSel< _View >

Abstract class for view selection.

Definition at line 48 of file brancher-view-sel.hpp.

---

Member Typedef Documentation

template<class _View>

typedef _View Gecode::ViewSel< _View >::View

Define the view type.

Reimplemented in Gecode::ViewSelChoose< Choose, Merit >, Gecode::ViewSelChooseTbl< Choose, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChooseTbl< ChooseMin, Merit >, and Gecode::ViewSelChooseTbl< ChooseMax, Merit >.

Definition at line 51 of file brancher-view-sel.hpp.

template<class _View>

typedef View::VarType Gecode::ViewSel< _View >::Var

The corresponding variable type.

Reimplemented in Gecode::ViewSelNone< View >, Gecode::ViewSelRnd< View >, Gecode::ViewSelChoose< Choose, Merit >, Gecode::ViewSelChooseTbl< Choose, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChooseTbl< ChooseMin, Merit >, and Gecode::ViewSelChooseTbl< ChooseMax, Merit >.

Definition at line 53 of file brancher-view-sel.hpp.

---

Constructor & Destructor Documentation

template<class View >

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

Constructor for creation.

Definition at line 382 of file brancher-view-sel.hpp.

template<class View >

Gecode::ViewSel< View >::ViewSel	(	Space &	home,
		bool	shared,
		ViewSel< View > &	vs
	)			[inline]

Constructor for copying during cloning.

Definition at line 385 of file brancher-view-sel.hpp.

template<class View >

Gecode::ViewSel< View >::~ViewSel

(

void

)

[inline, virtual]

Unused destructor.

Definition at line 409 of file brancher-view-sel.hpp.

---

Member Function Documentation

template<class _View>

virtual int Gecode::ViewSel< _View >::select	(	Space &	home,
		ViewArray< View > &	x,
		int	s
	)			[pure virtual]

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

Implemented in Gecode::ViewSelNone< View >, Gecode::ViewSelRnd< View >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, and Gecode::ViewSelChoose< ChooseMin, Merit >.

template<class _View>

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

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

Implemented in Gecode::ViewSelNone< View >, Gecode::ViewSelRnd< View >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, and Gecode::ViewSelChoose< ChooseMin, Merit >.

template<class View >

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

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

Definition at line 388 of file brancher-view-sel.hpp.

template<class _View>

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

Select ties from x starting from s.

Implemented in Gecode::ViewSelNone< View >, Gecode::ViewSelRnd< View >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, and Gecode::ViewSelChoose< ChooseMin, Merit >.

template<class _View>

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

Select ties from x starting from s.

Implemented in Gecode::ViewSelNone< View >, Gecode::ViewSelRnd< View >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, and Gecode::ViewSelChoose< ChooseMin, Merit >.

template<class View >

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

Select ties from x starting from s.

Definition at line 395 of file brancher-view-sel.hpp.

template<class _View>

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

Break ties in x and update to new ties.

Implemented in Gecode::ViewSelNone< View >, Gecode::ViewSelRnd< View >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, and Gecode::ViewSelChoose< ChooseMin, Merit >.

template<class _View>

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

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

Implemented in Gecode::ViewSelNone< View >, Gecode::ViewSelRnd< View >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, and Gecode::ViewSelChoose< ChooseMin, Merit >.

template<class _View>

virtual ViewSel<View>* Gecode::ViewSel< _View >::copy	(	Space &	home,
		bool	shared
	)			[pure virtual]

Create copy during cloning.

Implemented in Gecode::ViewSelNone< View >, Gecode::ViewSelRnd< View >, Gecode::ViewSelMin< Merit >, Gecode::ViewSelMinTbl< Merit >, Gecode::ViewSelMax< Merit >, and Gecode::ViewSelMaxTbl< Merit >.

template<class View >

bool Gecode::ViewSel< View >::notice

(

void

)

const [inline, virtual]

Whether dispose must always be called (that is, notice is needed).

Reimplemented in Gecode::ViewSelChoose< Choose, Merit >, Gecode::ViewSelChooseTbl< Choose, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChooseTbl< ChooseMin, Merit >, and Gecode::ViewSelChooseTbl< ChooseMax, Merit >.

Definition at line 402 of file brancher-view-sel.hpp.

template<class View >

void Gecode::ViewSel< View >::dispose

(

Space &

home

)

[inline, virtual]

Dispose view selection.

Reimplemented in Gecode::ViewSelChoose< Choose, Merit >, Gecode::ViewSelChooseTbl< Choose, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChoose< ChooseMax, Merit >, Gecode::ViewSelChoose< ChooseMin, Merit >, Gecode::ViewSelChooseTbl< ChooseMin, Merit >, and Gecode::ViewSelChooseTbl< ChooseMax, Merit >.

Definition at line 407 of file brancher-view-sel.hpp.

template<class View >

void * Gecode::ViewSel< View >::operator new	(	size_t	s,
		Space &	home
	)			[inline, static]

Allocate memory from space.

Definition at line 418 of file brancher-view-sel.hpp.

template<class View >

void Gecode::ViewSel< View >::operator delete	(	void *	p,
		Space &	home
	)			[inline, static]

Return memory to space.

Definition at line 415 of file brancher-view-sel.hpp.

template<class View >

void Gecode::ViewSel< View >::operator delete

(

void *

p

)

[inline, static]

Needed for exceptions.

Definition at line 412 of file brancher-view-sel.hpp.

---

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

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