Gecode::Int::Count Namespace Reference
Detailed Description
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) |
Function Documentation
template<class VX>
| ExecStatus Gecode::Int::Count::post_eq | ( | Space * | home, | |
| ViewArray< VX > & | x, | |||
| int | y | |||
| ) |
template<class VX>
| ExecStatus Gecode::Int::Count::post_nq | ( | Space * | home, | |
| ViewArray< VX > & | x, | |||
| int | y | |||
| ) |
template<class VX>
| ExecStatus Gecode::Int::Count::post_eq_bnd | ( | Space * | home, | |
| ViewArray< VX > & | x, | |||
| VX | y | |||
| ) |
template<class VX>
| ExecStatus Gecode::Int::Count::post_eq_dom | ( | Space * | home, | |
| ViewArray< VX > & | x, | |||
| VX | y | |||
| ) |
template<class VX>
| ExecStatus Gecode::Int::Count::post_nq | ( | Space * | home, | |
| ViewArray< VX > & | x, | |||
| VX | y | |||
| ) |