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

Base class for value selection. More...

#include <brancher-val.hpp>

List of all members.

Public Types

typedef _View View
 View type.
typedef _Val Val
 Value type.
typedef EmptyValSelChoice Choice
 Choice type.

Public Member Functions

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

Static Public Attributes

static const unsigned int alternatives = 2
 Number of alternatives.

Detailed Description

Base class for value selection.

Defines the brancher to be binary.


Member Typedef Documentation

typedef _View Gecode::ValSelBase::View

View type.

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

Value type.

Definition at line 66 of file brancher-val.hpp.

Choice type.

Definition at line 68 of file brancher-val.hpp.


Constructor & Destructor Documentation

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

Default constructor.

Definition at line 100 of file brancher-val.hpp.

Gecode::ValSelBase::ValSelBase ( Space home,
const ValBranchOptions vbo 
) [inline]

Constructor for initialization.

Definition at line 103 of file brancher-val.hpp.


Member Function Documentation

EmptyValSelChoice Gecode::ValSelBase::choice ( Space home) [inline]

Return choice.

Definition at line 106 of file brancher-val.hpp.

EmptyValSelChoice Gecode::ValSelBase::choice ( const Space home,
Archive e 
) [inline]

Return choice.

Definition at line 111 of file brancher-val.hpp.

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

Commit to choice.

Definition at line 116 of file brancher-val.hpp.

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

Updating during cloning.

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

Delete value selection.

Definition at line 122 of file brancher-val.hpp.


Member Data Documentation

const unsigned int Gecode::ValSelBase::alternatives = 2 [static]

Number of alternatives.

Definition at line 70 of file brancher-val.hpp.


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