Generated on Fri Mar 20 15:56:47 2015 for Gecode by doxygen 1.6.3

Gecode::PosValChoice< Val > Class Template Reference
[Generic brancher based on view and value selection]

Choice storing position and value More...

#include <brancher-view-val.hpp>

List of all members.

Public Member Functions

 PosValChoice (const Brancher &b, unsigned int a, const Pos &p, const Val &n)
 Initialize choice for brancher b, number of alternatives a, position p, and value n.
const Val & val (void) const
 Return value to branch with.
virtual size_t size (void) const
 Report size occupied.
virtual void archive (Archive &e) const
 Archive into e.

Detailed Description

template<class Val>
class Gecode::PosValChoice< Val >

Choice storing position and value

Definition at line 50 of file brancher-view-val.hpp.


Constructor & Destructor Documentation

template<class Val >
Gecode::PosValChoice< Val >::PosValChoice ( const Brancher b,
unsigned int  a,
const Pos p,
const Val &  n 
) [inline]

Initialize choice for brancher b, number of alternatives a, position p, and value n.

Definition at line 157 of file brancher-view-val.hpp.


Member Function Documentation

template<class Val >
const Val & Gecode::PosValChoice< Val >::val ( void   )  const [inline]

Return value to branch with.

Definition at line 163 of file brancher-view-val.hpp.

template<class Val >
size_t Gecode::PosValChoice< Val >::size ( void   )  const [inline, virtual]

Report size occupied.

Reimplemented from Gecode::PosChoice.

Reimplemented in Gecode::Int::LDSB::LDSBChoice< Val >.

Definition at line 169 of file brancher-view-val.hpp.

template<class Val >
void Gecode::PosValChoice< Val >::archive ( Archive e  )  const [inline, virtual]

Archive into e.

Reimplemented from Gecode::PosChoice.

Reimplemented in Gecode::Int::LDSB::LDSBChoice< Val >.

Definition at line 175 of file brancher-view-val.hpp.


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