int-nary.hpp File Reference
`#include <gecode/int/linear/int-noview.hpp>`

Go to the source code of this file.

## Namespaces

namespace | Gecode
| Gecode toplevel namespace
namespace | Gecode::Int
| Finite domain integers.
namespace | 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.
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 &, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
| Rewriting of equality to binary propagators.
template<class Val>
Actor * | Gecode::Int::Linear::eqtobin (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::eqtobin (Space &home, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::eqtobin (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
template<class Val, class P, class N>
Actor * | Gecode::Int::Linear::eqtoter (Space &, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
| Rewriting of equality to ternary propagators.
template<class Val>
Actor * | Gecode::Int::Linear::eqtoter (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::eqtoter (Space &home, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::eqtoter (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
template<class Val, class P, class N>
Actor * | Gecode::Int::Linear::nqtobin (Space &, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
| Rewriting of disequality to binary propagators.
template<class Val>
Actor * | Gecode::Int::Linear::nqtobin (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::nqtobin (Space &home, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::nqtobin (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
template<class Val, class P, class N>
Actor * | Gecode::Int::Linear::nqtoter (Space &, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
| Rewriting of disequality to ternary propagators.
template<class Val>
Actor * | Gecode::Int::Linear::nqtoter (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::nqtoter (Space &home, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::nqtoter (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
template<class Val, class P, class N>
Actor * | Gecode::Int::Linear::lqtobin (Space &, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
| Rewriting of inequality to binary propagators.
template<class Val>
Actor * | Gecode::Int::Linear::lqtobin (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::lqtobin (Space &home, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::lqtobin (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)
template<class Val, class P, class N>
Actor * | Gecode::Int::Linear::lqtoter (Space &, Propagator &, ViewArray< P > &, ViewArray< N > &, Val)
| Rewriting of inequality to ternary propagators.
template<class Val>
Actor * | Gecode::Int::Linear::lqtoter (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::lqtoter (Space &home, Propagator &p, ViewArray< NoView > &, ViewArray< IntView > &y, Val c)
template<class Val>
Actor * | Gecode::Int::Linear::lqtoter (Space &home, Propagator &p, ViewArray< IntView > &x, ViewArray< IntView > &y, Val c)