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