Generated on Wed Nov 1 15:05:13 2006 for Gecode by doxygen 1.4.5
Gecode::PosValDesc

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

Inherits Gecode::BranchingDesc.

List of all members.

Detailed Description

template<class Val>
class Gecode::PosValDesc< Val >

Branching descriptions storing position and value

Definition at line 93 of file branching.icc.

Public Member Functions

 PosValDesc (const Branching *b, const int p, const Val &n, const int s=0)
 Initialize description for branching b, position p, value n, and start position s.
int pos (void) const
 Return position in array.
Val val (void) const
 Return value to branch with.
int start (void) const
 Return the start index in the array.
virtual size_t size (void) const
 Report size occupied.

Protected Attributes

const int _pos
const Val _val
const int _start

Constructor & Destructor Documentation

template<class Val>
Gecode::PosValDesc< Val >::PosValDesc (  const Branching *  b,
const int  p,
const Val &  n,
const int  s = 0
)  [inline]
 

Initialize description for branching b, position p, value n, and start position s.

The start position can be used in the commit function to eliminate assigned variables from the array.

Definition at line 129 of file branching.icc.

Member Function Documentation

template<class Val>
int Gecode::PosValDesc< Val >::pos (  void   )  const [inline]
 

Return position in array.

Definition at line 135 of file branching.icc.

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

Return value to branch with.

Definition at line 141 of file branching.icc.

template<class Val>
int Gecode::PosValDesc< Val >::start (  void   )  const [inline]
 

Return the start index in the array.

Definition at line 147 of file branching.icc.

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

Report size occupied.

Implements Gecode::BranchingDesc.

Definition at line 153 of file branching.icc.

Member Data Documentation

template<class Val>
const int Gecode::PosValDesc< Val >::_pos [protected]
 

Definition at line 95 of file branching.icc.

template<class Val>
const Val Gecode::PosValDesc< Val >::_val [protected]
 

Definition at line 96 of file branching.icc.

template<class Val>
const int Gecode::PosValDesc< Val >::_start [protected]
 

Definition at line 97 of file branching.icc.

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