Generated on Wed Jan 4 17:49:18 2006 for Gecode by doxygen 1.4.6
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 (Branching *, int, Val)
 Initialize decsription.
int pos (void) const
 Return position in array.
Val val (void) const
 Return value to branch with.
virtual size_t size (void) const
 Report size occupied.

Protected Attributes

const int _pos
const Val _val

Constructor & Destructor Documentation

template<class Val>
Gecode::PosValDesc< Val >::PosValDesc (  Branching *  ,
int  ,
Val 
)  [inline]
 

Initialize decsription.

Definition at line 122 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 127 of file branching.icc.

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

Return value to branch with.

Definition at line 133 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 139 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.

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