Generated on Tue Sep 25 2012 20:53:25 for Gecode by doxygen 1.7.5

Virtualized view selection base class. More...

#include <brancher-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 ChoiceVirtualBasechoice (Space &home)=0
 Return choice.
virtual ChoiceVirtualBasechoice (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

Virtualized view selection base class.


Member Function Documentation

virtual ViewSelStatus Gecode::ViewSelVirtualBase::init ( Space home,
View  x 
) [pure virtual]

Intialize with view x.

virtual ViewSelStatus Gecode::ViewSelVirtualBase::select ( Space home,
View  x 
) [pure virtual]

Possibly select better view x.

virtual ChoiceVirtualBase* Gecode::ViewSelVirtualBase::choice ( Space home) [pure virtual]

Return choice.

Implemented in Gecode::ViewSelVirtual.

virtual ChoiceVirtualBase* Gecode::ViewSelVirtualBase::choice ( const Space home,
Archive e 
) [pure virtual]

Return choice.

Implemented in Gecode::ViewSelVirtual.

virtual void Gecode::ViewSelVirtualBase::commit ( Space home,
const ChoiceVirtualBase c,
unsigned int  a 
) [pure virtual]

Commit to choice.

Implemented in Gecode::ViewSelVirtual.

virtual ViewSelVirtualBase<View>* Gecode::ViewSelVirtualBase::copy ( Space home,
bool  share 
) [pure virtual]

Create copy.

Implemented in Gecode::ViewSelVirtual.

virtual size_t Gecode::ViewSelVirtualBase::dispose ( Space home) [pure virtual]

Delete view selection and return its size.

Implemented in Gecode::ViewSelVirtual.

void * Gecode::ViewSelVirtualBase::operator new ( size_t  s,
Space home 
) [inline, static]

Allocate memory from space.

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

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

No-op for exceptions.

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

void Gecode::ViewSelVirtualBase::operator delete ( void *  ) [inline, static]

Needed for exceptions.

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


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