|
| 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...
|
| |