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)