|
| template<class VY > |
| bool | isintset (VY y) |
| | Return whether y is an integer set.
|
| |
| template<class VY > |
| bool | isval (VY y) |
| | Return whether y is a value.
|
| |
| template<class VY > |
| void | subscribe (Space &home, Propagator &p, VY y) |
| | Subscribe propagator p to view y.
|
| |
| template<class VY > |
| void | cancel (Space &home, Propagator &p, VY y) |
| | Cancel propagator p for view y.
|
| |
| template<class VY > |
| void | reschedule (Space &home, Propagator &p, VY y) |
| | Schedule propagator p for view y.
|
| |
| template<class VY > |
| void | update (VY &y, Space &home, bool shared, VY py) |
| | Update view y from py.
|
| |
| template<class VX > |
| RelTest | holds (VX x, VX y) |
| | Test whether x and y are equal.
|
| |
| template<class VX > |
| RelTest | holds (VX x, ConstIntView y) |
| | Test whether x and y are equal.
|
| |
| template<class VX > |
| RelTest | holds (VX x, ZeroIntView y) |
| | Test whether x and y are equal.
|
| |
| template<class VX > |
| RelTest | holds (VX x, const IntSet &y) |
| | Test whether x and y are equal.
|
| |
| template<class VX > |
| ExecStatus | post_true (Home home, ViewArray< VX > &x, VX y) |
| | Post that all views in x are equal to y.
|
| |
| template<class VX > |
| ExecStatus | post_true (Home home, ViewArray< VX > &x, ConstIntView y) |
| | Post that all views in x are equal to y.
|
| |
| template<class VX > |
| ExecStatus | post_true (Home home, ViewArray< VX > &x, ZeroIntView y) |
| | Post that all views in x are equal to y.
|
| |
| template<class VX > |
| ExecStatus | post_true (Home home, ViewArray< VX > &x, const IntSet &y) |
| | Post that all views in x are equal to y.
|
| |
| template<class VX > |
| ExecStatus | post_false (Home home, ViewArray< VX > &x, VX y) |
| | Post that all views in x are not equal to y.
|
| |
| template<class VX > |
| ExecStatus | post_false (Home home, ViewArray< VX > &x, ConstIntView y) |
| | Post that all views in x are not equal to y.
|
| |
| template<class VX > |
| ExecStatus | post_false (Home home, ViewArray< VX > &x, ZeroIntView y) |
| | Post that all views in x are not equal to y.
|
| |
| template<class VX > |
| ExecStatus | 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 | prune (Home home, ViewArray< VX > &x, VX y) |
| | Prune that y is the union of x.
|
| |
| template<class VX > |
| ExecStatus | prune (Home home, ViewArray< VX > &x, ConstIntView y) |
| | Prune that y is the union of x.
|
| |
| template<class VX > |
| ExecStatus | prune (Home home, ViewArray< VX > &x, ZeroIntView y) |
| | Prune that y is the union of x.
|
| |
| template<class VX > |
| ExecStatus | prune (Home home, ViewArray< VX > &x, const IntSet &y) |
| | Prune that y is the union of x.
|
| |
| template<> |
| bool | isintset (IntSet y) |
| |
| template<> |
| bool | isval (IntSet y) |
| |
| void | subscribe (Space &home, Propagator &p, IntSet &y) |
| |
| void | cancel (Space &home, Propagator &p, IntSet &y) |
| |
| void | reschedule (Space &home, Propagator &p, IntSet &y) |
| |
| void | update (IntSet &y, Space &home, IntSet &py) |
| |
| template<class VY > |
| void | update (VY &y, Space &home, VY py) |
| |
| template<class VX > |
| ExecStatus | post_true (Home home, VX x, ConstIntView y) |
| |
| template<class VX > |
| ExecStatus | post_true (Home home, VX x, ZeroIntView) |
| |
| template<class VX > |
| ExecStatus | post_true (Home home, VX x, const IntSet &y) |
| |
| template<class VX > |
| ExecStatus | post_false (Home home, VX x, ConstIntView y) |
| |
| template<class VX > |
| ExecStatus | post_false (Home home, VX x, ZeroIntView) |
| |
| template<class VX > |
| ExecStatus | post_false (Home home, VX x, const IntSet &y) |
| |
| template<class VX > |
| ExecStatus | post_true (Home home, VX x, VX y) |
| |
| template<class VX > |
| ExecStatus | post_false (Home home, VX x, VX y) |
| |
| template<class VX > |
| ExecStatus | prune (Space &home, ViewArray< VX > &x, ConstIntView) |
| |
| template<class VX > |
| ExecStatus | prune (Space &home, ViewArray< VX > &x, ZeroIntView) |
| |
| template<class VX > |
| ExecStatus | prune (Space &home, ViewArray< VX > &x, const IntSet &y) |
| |
| template<class VX > |
| ExecStatus | prune (Space &home, ViewArray< VX > &x, VX y) |
| |
| template<class VX > |
| bool | shared (const IntSet &, VX) |
| |