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

Virtualized view selection base class. More...

#include <branching-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 DescVirtualBase *	description (Space &home)=0
	Return description.
virtual void	commit (Space &home, const DescVirtualBase *d, unsigned a)=0
	Commit to description.
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 113 of file branching-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 DescVirtualBase* Gecode::ViewSelVirtualBase< View >::description

(

Space &

home

)

[pure virtual]

Return description.

Implemented in Gecode::ViewSelVirtual< ViewSel >.

template<class View>

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

Commit to description.

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 326 of file branching-tiebreak.hpp.

template<class View >

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

No-op for exceptions.

Definition at line 323 of file branching-tiebreak.hpp.

template<class View >

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

(

void *

)

[inline, static]

Needed for exceptions.

Definition at line 320 of file branching-tiebreak.hpp.

---

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

• gecode/kernel/branching-tiebreak.hpp (Revision: 8155)