count.hh File Reference
(Revision: 3246)
#include "gecode/int.hh"
#include "gecode/int/count/count.icc"
#include "gecode/int/count/rel.icc"
Go to the source code of this file.
Namespaces | |
namespace | Gecode::Int::Count |
namespace | Gecode |
namespace | Gecode::Int |
Classes | |
class | Gecode::Int::Count::Base< VX, VY, VZ, Rel, shr > |
Base-class for count propagators. More... | |
class | Gecode::Int::Count::Eq< VX, VY, VZ, Rel, shr > |
Propagator for counting views (equal to number of equal views) More... | |
class | Gecode::Int::Count::Nq< VX, VY, VZ, Rel, shr > |
Propagator for counting views (different from number of equal views) More... | |
class | Gecode::Int::Count::Lq< VX, VY, VZ, Rel, shr > |
Propagator for counting views (less or equal to number of equal views) More... | |
class | Gecode::Int::Count::Gq< VX, VY, VZ, Rel, shr > |
Propagator for counting views (greater or equal to number of equal views) More... | |
class | Gecode::Int::Count::RelEqBnd< VX > |
Relation for bounds-consistent counting. More... | |
class | Gecode::Int::Count::RelEqDom< VX > |
Relation for domain-consistent counting. More... |