main page modules namespaces classes files
Gecode home

count.hh File Reference

(Revision: 2497)

#include "int.hh"
#include "int/count/count.icc"
#include "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...