Generated on Wed Jul 27 2011 15:08:57 for Gecode by doxygen 1.7.4
rel.hpp File Reference

(Revision: 9878)

#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<class VX >
RelTest Gecode::Int::Count::holds (VX x, ZeroIntView)
template<class VX >
bool Gecode::Int::Count::post_true (Home home, VX x, ConstIntView y)
template<class VX >
bool Gecode::Int::Count::post_true (Home home, VX x, ZeroIntView)
template<class VX >
bool Gecode::Int::Count::post_true (Home home, ViewArray< VX > &x, ZeroIntView)
template<class VX >
bool Gecode::Int::Count::post_false (Home home, VX x, ConstIntView y)
template<class VX >
bool Gecode::Int::Count::post_false (Home home, VX x, ZeroIntView)
template<class VX >
bool Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, ZeroIntView)
template<class VX >
bool Gecode::Int::Count::post_true (Home home, VX x, VX y)
template<class VX >
bool Gecode::Int::Count::post_false (Home home, VX x, VX 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, VX y)
 Test whether x and y are equal.
template<class VX >
bool 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 >
bool 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 >
bool 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 >
bool Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, VX y)
 Post that all views in x are not equal to y.