Generated on Sat Aug 25 2012 15:53:05 for Gecode by doxygen 1.7.5
count.hh File Reference

(Revision: 12404)

Go to the source code of this file.

Classes

class  Gecode::Int::Count::IntBase
 Baseclass for count propagators (integer) More...
class  Gecode::Int::Count::EqInt
 Propagator for counting views (equal integer to number of equal views) More...
class  Gecode::Int::Count::GqInt
 Propagator for counting views (greater or equal integer to number of equal views) More...
class  Gecode::Int::Count::LqInt
 Propagator for counting views (less or equal integer to number of equal views) More...
class  Gecode::Int::Count::ViewBase
 Base-class for count propagators (view) More...
class  Gecode::Int::Count::EqView
 Propagator for counting views (equal to number of equal views) More...
class  Gecode::Int::Count::LqView
 Propagator for counting views (less or equal to number of equal views) More...
class  Gecode::Int::Count::GqView
 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.


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