rel.hpp File Reference

(Revision: 9878)

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