nary.icc File Reference
(Revision: 3512)
#include "gecode/int/linear/noview.icc"
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| namespace | Gecode::Int |
| namespace | Gecode::Int::Linear |
Functions | |
| template<class P, class N> | |
| bool | Gecode::Int::Linear::isunit (ViewArray< P > &x, ViewArray< N > &y) |
| Test if only unit-coefficient arrays used. | |
| template<> | |
| bool | Gecode::Int::Linear::isunit (ViewArray< IntView > &x, ViewArray< IntView > &y) |
| template<> | |
| bool | Gecode::Int::Linear::isunit (ViewArray< IntView > &x, ViewArray< NoView > &y) |
| template<> | |
| bool | Gecode::Int::Linear::isunit (ViewArray< NoView > &x, ViewArray< IntView > &y) |
| template<class Val, class View> | |
| void | Gecode::Int::Linear::bounds_p (const Propagator *p, ViewArray< View > &x, Val &c, Val &sl, Val &su) |
| template<class Val, class View> | |
| void | Gecode::Int::Linear::bounds_n (const Propagator *p, ViewArray< View > &y, Val &c, Val &sl, Val &su) |
| template<class Val, class P, class N> | |
| ExecStatus | Gecode::Int::Linear::prop_bnd (const Propagator *p, Space *home, ViewArray< P > &x, ViewArray< N > &y, Val &c) |
| template<class Val, class P, class N> | |
| Actor * | Gecode::Int::Linear::eqtobin (Space *home, bool share, Propagator &p, ViewArray< P > &x, ViewArray< N > &y, Val c) |
| Rewriting of equality to binary propagators. | |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::eqtobin (Space *home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &y, Val c) |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::eqtobin (Space *home, bool share, Propagator &p, ViewArray< NoView > &x, 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 *home, bool share, Propagator &p, ViewArray< P > &x, ViewArray< N > &y, Val c) |
| Rewriting of equality to ternary propagators. | |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::eqtoter (Space *home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &y, Val c) |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::eqtoter (Space *home, bool share, Propagator &p, ViewArray< NoView > &x, 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 *home, bool share, Propagator &p, ViewArray< P > &x, ViewArray< N > &y, Val c) |
| Rewriting of disequality to binary propagators. | |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::nqtobin (Space *home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &y, Val c) |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::nqtobin (Space *home, bool share, Propagator &p, ViewArray< NoView > &x, 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 *home, bool share, Propagator &p, ViewArray< P > &x, ViewArray< N > &y, Val c) |
| Rewriting of disequality to ternary propagators. | |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::nqtoter (Space *home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &y, Val c) |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::nqtoter (Space *home, bool share, Propagator &p, ViewArray< NoView > &x, 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 *home, bool share, Propagator &p, ViewArray< P > &x, ViewArray< N > &y, Val c) |
| Rewriting of inequality to binary propagators. | |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::lqtobin (Space *home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &y, Val c) |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::lqtobin (Space *home, bool share, Propagator &p, ViewArray< NoView > &x, 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 *home, bool share, Propagator &p, ViewArray< P > &x, ViewArray< N > &y, Val c) |
| Rewriting of inequality to ternary propagators. | |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::lqtoter (Space *home, bool share, Propagator &p, ViewArray< IntView > &x, ViewArray< NoView > &y, Val c) |
| template<class Val> | |
| Actor * | Gecode::Int::Linear::lqtoter (Space *home, bool share, Propagator &p, ViewArray< NoView > &x, 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) |