Generated on Fri May 13 2011 22:41:24 for Gecode by doxygen 1.7.1

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.