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)