rel.hpp File Reference

(Revision: 7787)

#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 (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)
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.