rel.icc File Reference
(Revision: 7285)
#include "gecode/int/rel.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Int |
namespace | Gecode::Int::Count |
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, VX y) |
Test whether x and y are equal. | |
template<class VX> | |
bool | Gecode::Int::Count::post_true (Space *home, ViewArray< VX > &x, ConstIntView y) |
Post that all views in x are equal to y. | |
template<class VX> | |
bool | Gecode::Int::Count::post_false (Space *home, ViewArray< VX > &x, ConstIntView y) |
Post that all views in x are not equal to y. | |
template<class VX> | |
bool | Gecode::Int::Count::post_true (Space *home, ViewArray< VX > &x, VX y) |
Post that all views in x are equal to y. | |
template<class VX> | |
bool | Gecode::Int::Count::post_false (Space *home, ViewArray< VX > &x, VX y) |
Post that all views in x are not equal to y. | |
Functions | |
template<class VX> | |
RelTest | Gecode::Int::Count::holds (VX x, ZeroIntView) |
template<class VX> | |
bool | Gecode::Int::Count::post_true (Space *home, VX x, ConstIntView y) |
template<class VX> | |
bool | Gecode::Int::Count::post_true (Space *home, VX x, ZeroIntView) |
template<class VX> | |
bool | Gecode::Int::Count::post_true (Space *home, ViewArray< VX > &x, ZeroIntView) |
template<class VX> | |
bool | Gecode::Int::Count::post_false (Space *home, VX x, ConstIntView y) |
template<class VX> | |
bool | Gecode::Int::Count::post_false (Space *home, VX x, ZeroIntView) |
template<class VX> | |
bool | Gecode::Int::Count::post_false (Space *home, ViewArray< VX > &x, ZeroIntView) |
template<class VX> | |
bool | Gecode::Int::Count::post_true (Space *home, VX x, VX y) |
template<class VX> | |
bool | Gecode::Int::Count::post_false (Space *home, VX x, VX y) |