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 | |||
) |