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] |
|
|
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] |
|
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] |
|
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] |
|
void Gecode::Int::Element::IdxValMap::operator delete |
( |
void * |
p, |
|
|
size_t |
|
|
) |
[inline, static] |
|
The documentation for this class was generated from the following file: