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 IdxValMap * | allocate (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] |
template<class ViewA>
void Gecode::Int::Element::IdxValMap::init | ( | int * | , | |
ViewA | ||||
) | [inline] |
template<class ViewA>
void Gecode::Int::Element::IdxValMap::prune_idx | ( | ViewA | ) | [inline] |
template<class ViewB>
void Gecode::Int::Element::IdxValMap::prune_val | ( | ViewB | ) | [inline] |
template<class ViewA, class ViewB>
ExecStatus Gecode::Int::Element::IdxValMap::tell | ( | Space * | , | |
ViewA | , | |||
ViewB | ||||
) | [inline] |
size_t Gecode::Int::Element::IdxValMap::size | ( | void | ) | const [inline] |
void Gecode::Int::Element::IdxValMap::operator delete | ( | void * | p, | |
size_t | ||||
) | [inline, static] |
The documentation for this class was generated from the following file:
- gecode/int/element/int.icc (Revision: 3512)