Generated on Fri Jan 28 2022 04:43:06 for Gecode by doxygen 1.8.13
count.hh File Reference

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

 Gecode::Int::Count
 Counting propagators.
 
 Gecode
 Gecode toplevel namespace
 
 Gecode::Int
 Finite domain integers.
 
template<class VY >
bool Gecode::Int::Count::isintset (VY y)
 Return whether y is an integer set. More...
 
template<class VY >
bool Gecode::Int::Count::isval (VY y)
 Return whether y is a value. More...
 
template<class VY >
void Gecode::Int::Count::subscribe (Space &home, Propagator &p, VY y)
 Subscribe propagator p to view y. More...
 
template<class VY >
void Gecode::Int::Count::cancel (Space &home, Propagator &p, VY y)
 Cancel propagator p for view y. More...
 
template<class VY >
void Gecode::Int::Count::reschedule (Space &home, Propagator &p, VY y)
 Schedule propagator p for view y. More...
 
template<class VY >
void Gecode::Int::Count::update (VY &y, Space &home, bool shared, VY py)
 Update view y from py. More...
 
template<class VX >
RelTest Gecode::Int::Count::holds (VX x, VX y)
 Test whether x and y are equal. More...
 
template<class VX >
RelTest Gecode::Int::Count::holds (VX x, ConstIntView y)
 Test whether x and y are equal. More...
 
template<class VX >
RelTest Gecode::Int::Count::holds (VX x, ZeroIntView y)
 Test whether x and y are equal. More...
 
template<class VX >
RelTest Gecode::Int::Count::holds (VX x, const IntSet &y)
 Test whether x and y are equal. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
template<class VX >
ExecStatus Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, VX y)
 Prune that y is the union of x. More...
 
template<class VX >
ExecStatus Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, ConstIntView y)
 Prune that y is the union of x. More...
 
template<class VX >
ExecStatus Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, ZeroIntView y)
 Prune that y is the union of x. More...
 
template<class VX >
ExecStatus Gecode::Int::Count::prune (Home home, ViewArray< VX > &x, const IntSet &y)
 Prune that y is the union of x. More...