Counting propagators.
|
Classes |
class | BaseInt |
| Baseclass for count propagators (integer). More...
|
class | EqInt |
| Propagator for counting views (equal integer to number of equal views) More...
|
class | GqInt |
| Propagator for counting views (greater or equal integer to number of equal views) More...
|
class | LqInt |
| Propagator for counting views (less or equal integer to number of equal views) More...
|
class | NqInt |
| Propagator for counting views (not equal integer to number of equal views) More...
|
class | BaseView |
| Base-class for count propagators (view). More...
|
class | EqView |
| Propagator for counting views (equal to number of equal views) More...
|
class | NqView |
| Propagator for counting views (different from number of equal views) More...
|
class | LqView |
| Propagator for counting views (less or equal to number of equal views) More...
|
class | GqView |
| Propagator for counting views (greater or equal to number of equal views) More...
|
template<class VX> |
RelTest | holds (VX x, ConstIntView y) |
| Test whether x and y are equal.
|
template<class VX> |
RelTest | holds (VX x, VX y) |
| Test whether x and y are equal.
|
template<class VX> |
ExecStatus | post_true (Space *home, ViewArray< VX > &x, ConstIntView y) |
| Post that all views in x are equal to y.
|
template<class VX> |
ExecStatus | post_false (Space *home, ViewArray< VX > &x, ConstIntView y) |
| Post that all views in x are not equal to y.
|
template<class VX> |
ExecStatus | post_true (Space *home, ViewArray< VX > &x, VX y) |
| Post that all views in x are equal to y.
|
template<class VX> |
ExecStatus | post_false (Space *home, ViewArray< VX > &x, VX y) |
| Post that all views in x are not equal to y.
|
Functions |
template<class VX> |
ExecStatus | post_true (Space *home, VX x, ConstIntView y) |
template<class VX> |
ExecStatus | post_false (Space *home, VX x, ConstIntView y) |
template<class VX> |
ExecStatus | post_true (Space *home, VX x, VX y) |
template<class VX> |
ExecStatus | post_false (Space *home, VX x, VX y) |