Generated on Sat Aug 25 2012 15:53:09 for Gecode by doxygen 1.7.5

Virtualized view selection. More...

#include <brancher-tiebreak.hpp>

List of all members.

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.

Detailed Description

Virtualized view selection.


Constructor & Destructor Documentation

Gecode::ViewSelVirtual::ViewSelVirtual ( Space home,
const VarBranchOptions vbo 
) [inline]

Constructor for initialization.

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

Gecode::ViewSelVirtual::ViewSelVirtual ( Space home,
bool  share,
ViewSelVirtual vsv 
)

Constructor for cloning vsv.


Member Function Documentation

ViewSelStatus Gecode::ViewSelVirtual::init ( Space home,
typename ViewSel::View  x 
) [virtual]

Intialize with view x.

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

ViewSelStatus Gecode::ViewSelVirtual::select ( Space home,
typename ViewSel::View  x 
) [virtual]

Possibly select better view x.

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

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

Return choice.

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

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

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

Return choice.

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

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

void Gecode::ViewSelVirtual::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.

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

Create copy during cloning.

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

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

size_t Gecode::ViewSelVirtual::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

ViewSel Gecode::ViewSelVirtual::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: