count.hh File Reference
`#include <gecode/int.hh>`
`#include <gecode/int/count/rel.hpp>`
`#include <gecode/int/count/int-base.hpp>`
`#include <gecode/int/count/int-eq.hpp>`
`#include <gecode/int/count/int-gq.hpp>`
`#include <gecode/int/count/int-lq.hpp>`
`#include <gecode/int/count/view-base.hpp>`
`#include <gecode/int/count/view-eq.hpp>`
`#include <gecode/int/count/view-gq.hpp>`
`#include <gecode/int/count/view-lq.hpp>`

Go to the source code of this file.

## Classes

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

## Namespaces

namespace | Gecode::Int::Count
| Counting propagators.
namespace | Gecode
| Gecode toplevel namespace
namespace | Gecode::Int
| Finite domain integers.

## Functions

template<class VY>
bool | Gecode::Int::Count::isintset (VY y)
| Return whether y is an integer set.
template<class VY>
bool | Gecode::Int::Count::isval (VY y)
| Return whether y is a value.
template<class VY>
void | Gecode::Int::Count::subscribe (Space &home, Propagator &p, VY y)
| Subscribe propagator p to view y.
template<class VY>
void | Gecode::Int::Count::cancel (Space &home, Propagator &p, VY y)
| Cancel propagator p for view y.
template<class VY>
void | Gecode::Int::Count::reschedule (Space &home, Propagator &p, VY y)
| Schedule propagator p for view y.
template<class VY>
void | Gecode::Int::Count::update (VY &y, Space &home, bool shared, VY py)
| Update view y from py.
template<class VX>
RelTest | Gecode::Int::Count::holds (VX x, VX y)
| Test whether x and y are equal.
template<class VX>
RelTest | Gecode::Int::Count::holds (VX x, ConstIntView y)
| Test whether x and y are equal.
template<class VX>
RelTest | Gecode::Int::Count::holds (VX x, ZeroIntView y)
| Test whether x and y are equal.
template<class VX>
RelTest | Gecode::Int::Count::holds (VX x, const IntSet &y)
| Test whether x and y are equal.
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.
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.
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.
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.
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.
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.
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.
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.
template<class VX>
ExecStatus | Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, VX y)
| Prune that y is the union of x.
template<class VX>
ExecStatus | Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, ConstIntView y)
| Prune that y is the union of x.
template<class VX>
ExecStatus | Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, ZeroIntView y)
| Prune that y is the union of x.
template<class VX>
ExecStatus | Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, const IntSet &y)
| Prune that y is the union of x.