|
template<> |
ViewTypeDesc | vtd (const IntSet &y) |
|
template<> |
ViewTypeDesc | vtd (ConstIntView y) |
|
template<> |
ViewTypeDesc | vtd (ZeroIntView y) |
|
void | subscribe (Space &home, Propagator &p, IntSet &y) |
|
void | cancel (Space &home, Propagator &p, IntSet &y) |
|
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) |
|
enum | ViewTypeDesc { VTD_CONSTVIEW,
VTD_INTSET,
VTD_VARVIEW
} |
| Description of view type. More...
|
|
template<class VY > |
ViewTypeDesc | vtd (VY y) |
| Return the view type description of y. More...
|
|
template<class VY > |
void | subscribe (Space &home, Propagator &p, VY y) |
| Subscribe propagator p to view y. More...
|
|
template<class VY > |
void | cancel (Space &home, Propagator &p, VY y) |
| Cancel propagator p for view y. More...
|
|
template<class VX > |
RelTest | holds (VX x, ConstIntView y) |
| Test whether x and y are equal. More...
|
|
template<class VX > |
RelTest | holds (VX x, ZeroIntView y) |
| Test whether x and y are equal. More...
|
|
template<class VX > |
RelTest | holds (VX x, const IntSet &y) |
| Test whether x and y are equal. More...
|
|
template<class VX > |
RelTest | holds (VX x, VX y) |
| Test whether x and y are equal. More...
|
|
template<class VX > |
ExecStatus | post_true (Home home, ViewArray< VX > &x, ConstIntView y) |
| Post that all views in x are equal to y. More...
|
|
template<class VX > |
ExecStatus | post_true (Home home, ViewArray< VX > &x, ZeroIntView y) |
| Post that all views in x are equal to y. More...
|
|
template<class VX > |
ExecStatus | 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 | 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 | 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 | 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 | post_true (Home home, ViewArray< VX > &x, VX y) |
| Post that all views in x are equal to y. More...
|
|
template<class VX > |
ExecStatus | post_false (Home home, ViewArray< VX > &x, VX y) |
| Post that all views in x are not equal to y. More...
|
|
template<class VX > |
ExecStatus | prune (Home home, ViewArray< VX > &x, VX y) |
| Prune that y is the union of x. More...
|
|
template<class VX > |
ExecStatus | prune (Home home, ViewArray< VX > &x, ConstIntView y) |
| Prune that y is the union of x. More...
|
|
template<class VX > |
ExecStatus | prune (Home home, ViewArray< VX > &x, ZeroIntView y) |
| Prune that y is the union of x. More...
|
|
template<class VX > |
ExecStatus | prune (Home home, ViewArray< VX > &x, const IntSet &y) |
| Prune that y is the union of x. More...
|
|