Counting propagators.
|
Classes |
class | Base |
| Base-class for count propagators. More...
|
class | Eq |
| Propagator for counting views (equal to number of equal views) More...
|
class | Nq |
| Propagator for counting views (different from number of equal views) More...
|
class | Lq |
| Propagator for counting views (less or equal to number of equal views) More...
|
class | Gq |
| Propagator for counting views (greater or equal to number of equal views) More...
|
class | RelEqBnd |
| Relation for bounds-consistent counting. More...
|
class | RelEqDom |
| Relation for domain-consistent counting. More...
|
Functions |
template<class VX> |
ExecStatus | post_eq (Space *home, ViewArray< VX > &x, int y) |
template<class VX> |
ExecStatus | post_nq (Space *home, ViewArray< VX > &x, int y) |
template<class VX> |
ExecStatus | post_eq_bnd (Space *home, ViewArray< VX > &x, VX y) |
template<class VX> |
ExecStatus | post_eq_dom (Space *home, ViewArray< VX > &x, VX y) |
template<class VX> |
ExecStatus | post_nq (Space *home, ViewArray< VX > &x, VX y) |