count.hh File Reference

(Revision: 12404)

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