Generated on Mon Aug 25 11:35:45 2008 for Gecode by doxygen 1.5.6

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)