Gecode::ViewSelVirtualBase< View > Class Template Reference

Virtualized view selection base class. More...

#include <brancher-tiebreak.hpp>

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  )

inlinestatic

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  )

inlinestatic

No-op for exceptions.

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

template<class View >

void Gecode::ViewSelVirtualBase< View >::operator delete ( void *  )

inlinestatic

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)