Generated on Sat Feb 7 2015 02:01:34 for Gecode by doxygen 1.8.9.1
rel.hpp File Reference

(Revision: 13068)

#include <gecode/int/rel.hh>

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Int
 Finite domain integers.
 
 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. More...
 
template<class VY >
void Gecode::Int::Count::subscribe (Space &home, Propagator &p, VY y)
 Subscribe propagator p to view y. More...
 
template<class VY >
void Gecode::Int::Count::cancel (Space &home, Propagator &p, VY y)
 Cancel propagator p for view y. More...
 
template<class VX >
RelTest Gecode::Int::Count::holds (VX x, ConstIntView y)
 Test whether x and y are equal. More...
 
template<class VX >
RelTest Gecode::Int::Count::holds (VX x, ZeroIntView y)
 Test whether x and y are equal. More...
 
template<class VX >
RelTest Gecode::Int::Count::holds (VX x, const IntSet &y)
 Test whether x and y are equal. More...
 
template<class VX >
RelTest Gecode::Int::Count::holds (VX x, VX y)
 Test whether x and y are equal. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...
 
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. More...