Gecode::Int::Element::IdxValMap Class Reference
List of all members.
Detailed Description
Class for index-value map.
Definition at line 174 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 |
n |
) |
[inline, static] |
Allocating and initializing the data structure.
Definition at line 208 of file int.icc.
template<class ViewA>
| void Gecode::Int::Element::IdxValMap::init |
( |
int * |
a, |
|
|
ViewA |
ix | |
|
) |
| | [inline] |
template<class ViewA>
| void Gecode::Int::Element::IdxValMap::prune_idx |
( |
ViewA |
x0 |
) |
[inline] |
Pruning from variables on data structure.
Definition at line 256 of file int.icc.
template<class ViewB>
| void Gecode::Int::Element::IdxValMap::prune_val |
( |
ViewB |
x1 |
) |
[inline] |
template<class ViewA, class ViewB>
| ExecStatus Gecode::Int::Element::IdxValMap::tell |
( |
Space * |
home, |
|
|
ViewA |
x0, |
|
|
ViewB |
x1 | |
|
) |
| | [inline] |
Telling data structure to variables: returns true if at fixpoint.
Definition at line 297 of file int.icc.
| 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:
