Gecode::ChoiceVirtual< Choice > Class Template Reference

Virtualized choice. More...

#include <brancher-tiebreak.hpp>

Public Member Functions
	ChoiceVirtual (const Choice &c)
	Constructor for initialization. More...
virtual ChoiceVirtualBase *	copy (void) const
	Create copy. More...
virtual size_t	size (void) const
	Report size required. More...
virtual	~ChoiceVirtual (void)
	Destructor. More...
virtual void	archive (Archive &e) const
	Archive into e. More...
Public Member Functions inherited from Gecode::ChoiceVirtualBase
virtual	~ChoiceVirtualBase (void)
	Destructor. More...

Public Attributes
Choice	choice
	Static choice object. More...

Additional Inherited Members
Static Public Member Functions inherited from Gecode::ChoiceVirtualBase
static void *	operator new (size_t s)
	Allocate memory. More...
static void	operator delete (void *)
	Delete memory. More...

Detailed Description

template<class Choice>
class Gecode::ChoiceVirtual< Choice >

Virtualized choice.

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

Constructor & Destructor Documentation

template<class Choice >

Gecode::ChoiceVirtual< Choice >::ChoiceVirtual ( const Choice &  c )

inline

Constructor for initialization.

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

template<class Choice >

Gecode::ChoiceVirtual< Choice >::~ChoiceVirtual ( void  )

virtual

Destructor.

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

Member Function Documentation

template<class Choice >

ChoiceVirtualBase * Gecode::ChoiceVirtual< Choice >::copy ( void  ) const

inlinevirtual

Create copy.

Implements Gecode::ChoiceVirtualBase.

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

template<class Choice >

size_t Gecode::ChoiceVirtual< Choice >::size ( void  ) const

inlinevirtual

Report size required.

Implements Gecode::ChoiceVirtualBase.

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

template<class Choice >

void Gecode::ChoiceVirtual< Choice >::archive ( Archive &  e ) const

virtual

Archive into e.

Implements Gecode::ChoiceVirtualBase.

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

Member Data Documentation

template<class Choice>

Choice Gecode::ChoiceVirtual< Choice >::choice

Static choice object.

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

---

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

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