Generated on Sat Nov 11 01:12:20 2006 for Gecode by doxygen 1.5.1

Gecode::Int::Element::IdxValMap Class Reference

List of all members.

Detailed Description

Class for index-value map.

Definition at line 160 of file int.icc.

Public Member Functions

template<class ViewA>
void init (int *, ViewA)
template<class ViewA>
void prune_idx (ViewA)
 Pruning from variables on data structure.
template<class ViewB>
void prune_val (ViewB)
template<class ViewA, class ViewB>
ExecStatus tell (Space *, ViewA, ViewB)
 Telling data structure to variables: returns true if at fixpoint.
size_t size (void) const

Static Public Member Functions

static IdxValMapallocate (int)
 Allocating and initializing the data structure.
static void operator delete (void *p, size_t)


Member Function Documentation

IdxValMap * Gecode::Int::Element::IdxValMap::allocate ( int   )  [inline, static]

Allocating and initializing the data structure.

Definition at line 194 of file int.icc.

template<class ViewA>
void Gecode::Int::Element::IdxValMap::init ( int *  ,
ViewA   
) [inline]

Definition at line 208 of file int.icc.

template<class ViewA>
void Gecode::Int::Element::IdxValMap::prune_idx ( ViewA   )  [inline]

Pruning from variables on data structure.

Definition at line 242 of file int.icc.

template<class ViewB>
void Gecode::Int::Element::IdxValMap::prune_val ( ViewB   )  [inline]

Definition at line 262 of file int.icc.

template<class ViewA, class ViewB>
ExecStatus Gecode::Int::Element::IdxValMap::tell ( Space ,
ViewA  ,
ViewB   
) [inline]

Telling data structure to variables: returns true if at fixpoint.

Definition at line 283 of file int.icc.

size_t Gecode::Int::Element::IdxValMap::size ( void   )  const [inline]

Definition at line 202 of file int.icc.

void Gecode::Int::Element::IdxValMap::operator delete ( void *  p,
size_t   
) [inline, static]

Definition at line 296 of file int.icc.


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