Generated on Fri Aug 24 2012 04:52:19 for Gecode by doxygen 1.8.1.2
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 ChoiceVirtualBasechoice (Space &home)
 Return choice.
virtual ChoiceVirtualBasechoice (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: