rel.hpp File Reference

(Revision: 12351)

#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<>
ViewTypeDesc	Gecode::Int::Count::vtd (const IntSet &y)
template<>
ViewTypeDesc	Gecode::Int::Count::vtd (ConstIntView y)
template<>
ViewTypeDesc	Gecode::Int::Count::vtd (ZeroIntView y)
void	Gecode::Int::Count::subscribe (Space &home, Propagator &p, IntSet &y)
void	Gecode::Int::Count::cancel (Space &home, Propagator &p, IntSet &y)
template<class VX >
ExecStatus	Gecode::Int::Count::post_true (Home home, VX x, ConstIntView y)
template<class VX >
ExecStatus	Gecode::Int::Count::post_true (Home home, VX x, ZeroIntView)
template<class VX >
ExecStatus	Gecode::Int::Count::post_true (Home home, VX x, const IntSet &y)
template<class VX >
ExecStatus	Gecode::Int::Count::post_false (Home home, VX x, ConstIntView y)
template<class VX >
ExecStatus	Gecode::Int::Count::post_false (Home home, VX x, ZeroIntView)
template<class VX >
ExecStatus	Gecode::Int::Count::post_false (Home home, VX x, const IntSet &y)
template<class VX >
ExecStatus	Gecode::Int::Count::post_true (Home home, VX x, VX y)
template<class VX >
ExecStatus	Gecode::Int::Count::post_false (Home home, VX x, VX y)
template<class VX >
ExecStatus	Gecode::Int::Count::prune (Space &home, ViewArray< VX > &x, ConstIntView)
template<class VX >
ExecStatus	Gecode::Int::Count::prune (Space &home, ViewArray< VX > &x, ZeroIntView)
template<class VX >
ExecStatus	Gecode::Int::Count::prune (Space &home, ViewArray< VX > &x, const IntSet &y)
template<class VX >
ExecStatus	Gecode::Int::Count::prune (Space &home, ViewArray< VX > &x, VX y)
template<class VY >
ViewTypeDesc	Gecode::Int::Count::vtd (VY y)
	Return the view type description of y.
template<class VY >
void	Gecode::Int::Count::subscribe (Space &home, Propagator &p, VY y)
	Subscribe propagator p to view y.
template<class VY >
void	Gecode::Int::Count::cancel (Space &home, Propagator &p, VY y)
	Cancel propagator p for view 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, ZeroIntView y)
	Test whether x and y are equal.
template<class VX >
RelTest	Gecode::Int::Count::holds (VX x, const IntSet &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 >
ExecStatus	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 >
ExecStatus	Gecode::Int::Count::post_true (Home home, ViewArray< VX > &x, ZeroIntView y)
	Post that all views in x are equal to y.
template<class VX >
ExecStatus	Gecode::Int::Count::post_true (Home home, ViewArray< VX > &x, const IntSet &y)
	Post that all views in x are equal to y.
template<class VX >
ExecStatus	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 >
ExecStatus	Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, ZeroIntView y)
	Post that all views in x are not equal to y.
template<class VX >
ExecStatus	Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, const IntSet &y)
	Post that all views in x are not equal to y.
template<class VX >
ExecStatus	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 >
ExecStatus	Gecode::Int::Count::post_false (Home home, ViewArray< VX > &x, VX y)
	Post that all views in x are not equal to y.