Generated on Fri Oct 19 11:25:26 2018 for Gecode by doxygen 1.6.3

rel.hpp File Reference

#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<>
bool Gecode::Int::Count::isintset (IntSet y)
template<>
bool Gecode::Int::Count::isval (IntSet y)
void Gecode::Int::Count::subscribe (Space &home, Propagator &p, IntSet &y)
void Gecode::Int::Count::cancel (Space &home, Propagator &p, IntSet &y)
void Gecode::Int::Count::reschedule (Space &home, Propagator &p, IntSet &y)
void Gecode::Int::Count::update (IntSet &y, Space &home, IntSet &py)
template<class VY >
void Gecode::Int::Count::update (VY &y, Space &home, VY py)
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 >
bool Gecode::Int::Count::isintset (VY y)
 Return whether y is an integer set.
template<class VY >
bool Gecode::Int::Count::isval (VY y)
 Return whether y is a value.
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 VY >
void Gecode::Int::Count::reschedule (Space &home, Propagator &p, VY y)
 Schedule 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.