Generated on Thu Mar 22 10:39:53 2012 for Gecode by doxygen 1.6.3

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

Virtualized choice. More...

#include <brancher-tiebreak.hpp>

List of all members.

Public Member Functions

 ChoiceVirtual (const Choice &c)
 Constructor for initialization.
virtual ChoiceVirtualBasecopy (void) const
 Create copy.
virtual size_t size (void) const
 Report size required.
virtual ~ChoiceVirtual (void)
 Destructor.
virtual void archive (Archive &e) const
 Archive into e.

Public Attributes

Choice choice
 Static choice object.

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   )  [inline, virtual]

Destructor.

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


Member Function Documentation

template<class Choice >
ChoiceVirtualBase * Gecode::ChoiceVirtual< Choice >::copy ( void   )  const [inline, virtual]

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 [inline, virtual]

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 [inline, 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: