Gecode::ViewSelVirtual< ViewSel > Class Template Reference

Virtualized view selection. More...

#include <brancher-tiebreak.hpp>

Public Member Functions
	ViewSelVirtual (Space &home, const VarBranchOptions &vbo)
	Constructor for initialization.
	ViewSelVirtual (Space &home, bool share, ViewSelVirtual &vsv)
	Constructor for cloning vsv.
virtual ViewSelStatus	init (Space &home, typename ViewSel::View x)
	Intialize with view x.
virtual ViewSelStatus	select (Space &home, typename ViewSel::View x)
	Possibly select better view x.
virtual ChoiceVirtualBase *	choice (Space &home)
	Return choice.
virtual ChoiceVirtualBase *	choice (const Space &home, Archive &e)
	Return choice.
virtual void	commit (Space &home, const ChoiceVirtualBase *d, unsigned int a)
	Commit to choice.
virtual ViewSelVirtualBase < typename ViewSel::View > *	copy (Space &home, bool share)
	Create copy during cloning.
virtual size_t	dispose (Space &home)
	Delete view selection and returns its size.

Protected Attributes
ViewSel	viewsel
	Static view selection object.

Additional Inherited Members
Static Public Member Functions inherited from Gecode::ViewSelVirtualBase< ViewSel::View >
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 ViewSel>
class Gecode::ViewSelVirtual< ViewSel >

Virtualized view selection.

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

Constructor & Destructor Documentation

template<class ViewSel >

Gecode::ViewSelVirtual< ViewSel >::ViewSelVirtual ( Space &  home, const VarBranchOptions &  vbo  )

inline

Constructor for initialization.

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

template<class ViewSel >

Gecode::ViewSelVirtual< ViewSel >::ViewSelVirtual ( Space &  home, bool  share, ViewSelVirtual< ViewSel > &  vsv  )

inline

Constructor for cloning vsv.

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

Member Function Documentation

template<class ViewSel >

ViewSelStatus Gecode::ViewSelVirtual< ViewSel >::init ( Space &  home, typename ViewSel::View  x  )

virtual

Intialize with view x.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

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

template<class ViewSel >

ViewSelStatus Gecode::ViewSelVirtual< ViewSel >::select ( Space &  home, typename ViewSel::View  x  )

virtual

Possibly select better view x.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

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

template<class ViewSel >

ChoiceVirtualBase * Gecode::ViewSelVirtual< ViewSel >::choice ( Space &  home )

virtual

Return choice.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

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

template<class ViewSel >

ChoiceVirtualBase * Gecode::ViewSelVirtual< ViewSel >::choice ( const Space &  home, Archive &  e  )

virtual

Return choice.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

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

template<class ViewSel >

void Gecode::ViewSelVirtual< ViewSel >::commit ( Space &  home, const ChoiceVirtualBase *  d, unsigned int  a  )

virtual

Commit to choice.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

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

template<class ViewSel >

ViewSelVirtualBase< typename ViewSel::View > * Gecode::ViewSelVirtual< ViewSel >::copy ( Space &  home, bool  share  )

virtual

Create copy during cloning.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

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

template<class ViewSel >

size_t Gecode::ViewSelVirtual< ViewSel >::dispose ( Space &  home )

virtual

Delete view selection and returns its size.

Implements Gecode::ViewSelVirtualBase< ViewSel::View >.

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

Member Data Documentation

template<class ViewSel>

ViewSel Gecode::ViewSelVirtual< ViewSel >::viewsel

protected

Static view selection object.

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

---

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

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