Gecode::ViewSelVirtualBase< View > Class Template Reference
[Generic view tie-breaking for brancher based on view and value selection]

Virtualized view selection base class. More...

#include <brancher-tiebreak.hpp>

List of all members.

Public Member Functions
virtual ViewSelStatus	init (Space &home, View x)=0
	Intialize with view x.
virtual ViewSelStatus	select (Space &home, View x)=0
	Possibly select better view x.
virtual ChoiceVirtualBase *	choice (Space &home)=0
	Return choice.
virtual ChoiceVirtualBase *	choice (const Space &home, Archive &e)=0
	Return choice.
virtual void	commit (Space &home, const ChoiceVirtualBase *c, unsigned int a)=0
	Commit to choice.
virtual ViewSelVirtualBase < View > *	copy (Space &home, bool share)=0
	Create copy.
virtual size_t	dispose (Space &home)=0
	Delete view selection and return its size.
Memory management
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	No-op for exceptions.
static void	operator delete (void *)
	Needed for exceptions.

---

Detailed Description

template<class View>
class Gecode::ViewSelVirtualBase< View >

Virtualized view selection base class.

Definition at line 119 of file brancher-tiebreak.hpp.

---

Member Function Documentation

template<class View>

virtual ViewSelStatus Gecode::ViewSelVirtualBase< View >::init	(	Space &	home,
		View	x
	)			[pure virtual]

Intialize with view x.

Implemented in Gecode::ViewSelVirtual< ViewSel >.

template<class View>

virtual ViewSelStatus Gecode::ViewSelVirtualBase< View >::select	(	Space &	home,
		View	x
	)			[pure virtual]

Possibly select better view x.

Implemented in Gecode::ViewSelVirtual< ViewSel >.

template<class View>

virtual ChoiceVirtualBase* Gecode::ViewSelVirtualBase< View >::choice

(

Space &

home

)

[pure virtual]

Return choice.

Implemented in Gecode::ViewSelVirtual< ViewSel >.

template<class View>

virtual ChoiceVirtualBase* Gecode::ViewSelVirtualBase< View >::choice	(	const Space &	home,
		Archive &	e
	)			[pure virtual]

Return choice.

Implemented in Gecode::ViewSelVirtual< ViewSel >.

template<class View>

virtual void Gecode::ViewSelVirtualBase< View >::commit	(	Space &	home,
		const ChoiceVirtualBase *	c,
		unsigned int	a
	)			[pure virtual]

Commit to choice.

Implemented in Gecode::ViewSelVirtual< ViewSel >.

template<class View>

virtual ViewSelVirtualBase<View>* Gecode::ViewSelVirtualBase< View >::copy	(	Space &	home,
		bool	share
	)			[pure virtual]

Create copy.

Implemented in Gecode::ViewSelVirtual< ViewSel >.

template<class View>

virtual size_t Gecode::ViewSelVirtualBase< View >::dispose

(

Space &

home

)

[pure virtual]

Delete view selection and return its size.

Implemented in Gecode::ViewSelVirtual< ViewSel >.

template<class View >

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

Allocate memory from space.

Definition at line 362 of file brancher-tiebreak.hpp.

template<class View >

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

No-op for exceptions.

Definition at line 359 of file brancher-tiebreak.hpp.

template<class View >

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

(

void *

)

[inline, static]

Needed for exceptions.

Definition at line 356 of file brancher-tiebreak.hpp.

---

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

• gecode/kernel/brancher-tiebreak.hpp (Revision: 12001)