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

Base class for view selection. More...

#include <brancher-view.hpp>

List of all members.

Public Types

typedef _View View
 View type.
typedef EmptyViewSelChoice Choice
 View selection choice.

Public Member Functions

 ViewSelBase (void)
 Default constructor.
 ViewSelBase (Space &home, const VarBranchOptions &vbo)
 Constructor for initialization.
EmptyViewSelChoice choice (Space &home)
 Return choice.
EmptyViewSelChoice choice (const Space &home, Archive &e)
 Return choice.
void commit (Space &home, const EmptyViewSelChoice &c, unsigned a)
 Commit to choice.
void update (Space &home, bool share, ViewSelBase &vs)
 Updating during cloning.
void dispose (Space &home)
 Delete view selection.

Detailed Description

Base class for view selection.


Member Typedef Documentation

View type.

Definition at line 62 of file brancher-view.hpp.

View selection choice.

Definition at line 64 of file brancher-view.hpp.


Constructor & Destructor Documentation

Gecode::ViewSelBase::ViewSelBase ( void  ) [inline]

Default constructor.

Definition at line 234 of file brancher-view.hpp.

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

Constructor for initialization.

Definition at line 237 of file brancher-view.hpp.


Member Function Documentation

EmptyViewSelChoice Gecode::ViewSelBase::choice ( Space home) [inline]

Return choice.

Definition at line 240 of file brancher-view.hpp.

EmptyViewSelChoice Gecode::ViewSelBase::choice ( const Space home,
Archive e 
) [inline]

Return choice.

Definition at line 245 of file brancher-view.hpp.

void Gecode::ViewSelBase::commit ( Space home,
const EmptyViewSelChoice c,
unsigned  a 
) [inline]

Commit to choice.

Definition at line 250 of file brancher-view.hpp.

void Gecode::ViewSelBase::update ( Space home,
bool  share,
ViewSelBase vs 
)

Updating during cloning.

void Gecode::ViewSelBase::dispose ( Space home) [inline]

Delete view selection.

Definition at line 256 of file brancher-view.hpp.


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