Generated on Mon May 10 06:46:48 2010 for Gecode by doxygen 1.6.3

count.hh File Reference

(Revision: 9878)

#include <gecode/int.hh>
#include <gecode/int/count/rel.hpp>
#include <gecode/int/count/int.hpp>
#include <gecode/int/count/view.hpp>

Go to the source code of this file.

Classes

class  Gecode::Int::Count::BaseInt< 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::NqInt< VX, VY >
 Propagator for counting views (not equal integer to number of equal views) More...
class  Gecode::Int::Count::BaseView< VX, VY, VZ, shr >
 Base-class for count propagators (view). More...
class  Gecode::Int::Count::EqView< VX, VY, VZ, shr >
 Propagator for counting views (equal to number of equal views) More...
class  Gecode::Int::Count::NqView< VX, VY, VZ, shr >
 Propagator for counting views (different from 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 >
 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.




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 >
bool 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 >
bool 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 >
bool 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 >
bool Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, ConstIntView y)
 Post that all views in x are not equal to y.