|
class | Gecode::Int::Count::IntBase< VX, VY > |
| Baseclass for count propagators (integer) More...
|
|
class | Gecode::Int::Count::EqInt< VX, VY > |
| Propagator for counting views (equal integer to number of equal views) More...
|
|
class | Gecode::Int::Count::GqInt< VX, VY > |
| Propagator for counting views (greater or equal integer to number of equal views) More...
|
|
class | Gecode::Int::Count::LqInt< VX, VY > |
| Propagator for counting views (less or equal integer to number of equal views) More...
|
|
class | Gecode::Int::Count::ViewBase< VX, VY, VZ > |
| Base-class for count propagators (view) More...
|
|
class | Gecode::Int::Count::EqView< VX, VY, VZ, shr, dom > |
| Propagator for counting views (equal to number of equal views) More...
|
|
class | Gecode::Int::Count::LqView< VX, VY, VZ, shr > |
| Propagator for counting views (less or equal to number of equal views) More...
|
|
class | Gecode::Int::Count::GqView< VX, VY, VZ, shr, dom > |
| Propagator for counting views (greater or equal to number of equal views) More...
|
|
|
| Gecode::Int::Count |
| Counting propagators.
|
|
| Gecode |
| Gecode toplevel namespace
|
|
| Gecode::Int |
| Finite domain integers.
|
|
enum | Gecode::Int::Count::ViewTypeDesc { Gecode::Int::Count::VTD_CONSTVIEW,
Gecode::Int::Count::VTD_INTSET,
Gecode::Int::Count::VTD_VARVIEW
} |
| Description of view type. More...
|
|
template<class VY > |
ViewTypeDesc | Gecode::Int::Count::vtd (VY y) |
| Return the view type description of y. More...
|
|
template<class VY > |
void | Gecode::Int::Count::subscribe (Space &home, Propagator &p, VY y) |
| Subscribe propagator p to view y. More...
|
|
template<class VY > |
void | Gecode::Int::Count::cancel (Space &home, Propagator &p, VY y) |
| Cancel propagator p for view y. More...
|
|
template<class VX > |
RelTest | Gecode::Int::Count::holds (VX x, VX y) |
| Test whether x and y are equal. More...
|
|
template<class VX > |
RelTest | Gecode::Int::Count::holds (VX x, ConstIntView y) |
| Test whether x and y are equal. More...
|
|
template<class VX > |
RelTest | Gecode::Int::Count::holds (VX x, ZeroIntView y) |
| Test whether x and y are equal. More...
|
|
template<class VX > |
RelTest | Gecode::Int::Count::holds (VX x, const IntSet &y) |
| Test whether x and y are equal. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::post_true (Home home, ViewArray< VX > &x, VX y) |
| Post that all views in x are equal to y. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::post_true (Home home, ViewArray< VX > &x, ConstIntView y) |
| Post that all views in x are equal to y. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::post_true (Home home, ViewArray< VX > &x, ZeroIntView y) |
| Post that all views in x are equal to y. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::post_true (Home home, ViewArray< VX > &x, const IntSet &y) |
| Post that all views in x are equal to y. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, VX y) |
| Post that all views in x are not equal to y. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, ConstIntView y) |
| Post that all views in x are not equal to y. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, ZeroIntView y) |
| Post that all views in x are not equal to y. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, const IntSet &y) |
| Post that all views in x are not equal to y. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, VX y) |
| Prune that y is the union of x. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, ConstIntView y) |
| Prune that y is the union of x. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, ZeroIntView y) |
| Prune that y is the union of x. More...
|
|
template<class VX > |
ExecStatus | Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, const IntSet &y) |
| Prune that y is the union of x. More...
|
|