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

(Revision: 13154)

Go to the source code of this file.

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Int
 Finite domain integers.
 
 Gecode::Int::Linear
 Linear propagators
 

Functions

template<class P , class N >
bool Gecode::Int::Linear::isunit (ViewArray< P > &, ViewArray< N > &)
 Test if only unit-coefficient arrays used. More...
 
template<>
bool Gecode::Int::Linear::isunit (ViewArray< IntView > &, ViewArray< IntView > &)
 
template<>
bool Gecode::Int::Linear::isunit (ViewArray< IntView > &, ViewArray< NoView > &)
 
template<>
bool Gecode::Int::Linear::isunit (ViewArray< NoView > &, ViewArray< IntView > &)
 
template<class Val , class View >
void Gecode::Int::Linear::bounds_p (ModEventDelta med, ViewArray< View > &x, Val &c, Val &sl, Val &su)
 
template<class Val , class View >
void Gecode::Int::Linear::bounds_n (ModEventDelta med, ViewArray< View > &y, Val &c, Val &sl, Val &su)
 
template<class Val , class P , class N >
ExecStatus Gecode::Int::Linear::prop_bnd (Space &home, ModEventDelta med, Propagator &p, ViewArray< P > &x, ViewArray< N > &y, Val &c)
 
template<class Val , class P , class N >
Actor * Gecode::Int::Linear::eqtobin (Space &, bool, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
 Rewriting of equality to binary propagators. More...
 
template<class Val >
Actor * Gecode::Int::Linear::eqtobin (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::eqtobin (Space &home, bool share, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::eqtobin (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
 
template<class Val , class P , class N >
Actor * Gecode::Int::Linear::eqtoter (Space &, bool, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
 Rewriting of equality to ternary propagators. More...
 
template<class Val >
Actor * Gecode::Int::Linear::eqtoter (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::eqtoter (Space &home, bool share, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::eqtoter (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
 
template<class Val , class P , class N >
Actor * Gecode::Int::Linear::nqtobin (Space &, bool, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
 Rewriting of disequality to binary propagators. More...
 
template<class Val >
Actor * Gecode::Int::Linear::nqtobin (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::nqtobin (Space &home, bool share, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::nqtobin (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
 
template<class Val , class P , class N >
Actor * Gecode::Int::Linear::nqtoter (Space &, bool, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
 Rewriting of disequality to ternary propagators. More...
 
template<class Val >
Actor * Gecode::Int::Linear::nqtoter (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::nqtoter (Space &home, bool share, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::nqtoter (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
 
template<class Val , class P , class N >
Actor * Gecode::Int::Linear::lqtobin (Space &, bool, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
 Rewriting of inequality to binary propagators. More...
 
template<class Val >
Actor * Gecode::Int::Linear::lqtobin (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::lqtobin (Space &home, bool share, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::lqtobin (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
 
template<class Val , class P , class N >
Actor * Gecode::Int::Linear::lqtoter (Space &, bool, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
 Rewriting of inequality to ternary propagators. More...
 
template<class Val >
Actor * Gecode::Int::Linear::lqtoter (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::lqtoter (Space &home, bool share, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
 
template<class Val >
Actor * Gecode::Int::Linear::lqtoter (Space &home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)