rel.hpp File Reference
#include <gecode/int/rel.hh>
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Int |
Finite domain integers. | |
namespace | Gecode::Int::Count |
Counting propagators. | |
Functions | |
template<> | |
bool | Gecode::Int::Count::isintset (IntSet y) |
template<> | |
bool | Gecode::Int::Count::isval (IntSet y) |
void | Gecode::Int::Count::subscribe (Space &home, Propagator &p, IntSet &y) |
void | Gecode::Int::Count::cancel (Space &home, Propagator &p, IntSet &y) |
void | Gecode::Int::Count::reschedule (Space &home, Propagator &p, IntSet &y) |
void | Gecode::Int::Count::update (IntSet &y, Space &home, IntSet &py) |
template<class VY > | |
void | Gecode::Int::Count::update (VY &y, Space &home, VY py) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::post_true (Home home, VX x, ConstIntView y) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::post_true (Home home, VX x, ZeroIntView) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::post_true (Home home, VX x, const IntSet &y) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::post_false (Home home, VX x, ConstIntView y) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::post_false (Home home, VX x, ZeroIntView) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::post_false (Home home, VX x, const IntSet &y) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::post_true (Home home, VX x, VX y) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::post_false (Home home, VX x, VX y) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::prune (Space &home, ViewArray< VX > &x, ConstIntView) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::prune (Space &home, ViewArray< VX > &x, ZeroIntView) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::prune (Space &home, ViewArray< VX > &x, const IntSet &y) |
template<class VX > | |
ExecStatus | Gecode::Int::Count::prune (Space &home, ViewArray< VX > &x, VX y) |
| |
template<class VY > | |
bool | Gecode::Int::Count::isintset (VY y) |
Return whether y is an integer set. | |
template<class VY > | |
bool | Gecode::Int::Count::isval (VY y) |
Return whether y is a value. | |
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 VY > | |
void | Gecode::Int::Count::reschedule (Space &home, Propagator &p, VY y) |
Schedule propagator p for view y. | |
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 > | |
RelTest | Gecode::Int::Count::holds (VX x, VX y) |
Test whether x and y are equal. | |
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, 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::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_false (Home home, ViewArray< VX > &x, VX y) |
Post that all views in x are not equal to y. |