
Arithmetic propagators More...
Classes | |
| class | Abs |
| Propagator for bounds consistent absolute operator More... | |
| class | Div |
| Propagator for bounds division operator More... | |
| class | Max |
| Propagator for bounds consistent max operator More... | |
| class | Min |
| Propagator for bounds consistent min operator More... | |
| class | Mult |
| Bounds consistent multiplication propagator. More... | |
| class | MultPlus |
| Bounds consistent positive multiplication propagator. More... | |
| class | MultZeroOne |
Bounds or domain consistent propagator for ![]() | |
| class | NaryMax |
| Bounds consistent n-ary maximum propagator. More... | |
| class | NthRoot |
| Propagator for bounds consistent nth root operator More... | |
| class | Pow |
| Propagator for bounds consistent pow operator More... | |
| class | Sqr |
| Propagator for bounds consistent square operator More... | |
| class | SqrPlus |
| Bounds consistent positive square propagator. More... | |
| class | Sqrt |
| Propagator for bounds consistent square root operator More... | |
Enumerations | |
| enum | MaxPropStatus { MPS_ASSIGNED = 1<<0 , MPS_REMOVED = 1<<1 , MPS_NEW_BOUND = 1<<2 } |
| Status of propagation for nary max. More... | |
Functions | |
| template<class View> | |
| ExecStatus | prop_nary_max (Space &home, Propagator &p, ViewArray< View > &x, View y, PropCond pc) |
| template<class View> | |
| bool | pos (const View &x) |
| Test whether x is postive. | |
| template<class View> | |
| bool | neg (const View &x) |
| Test whether x is negative. | |
| template<class View> | |
| bool | any (const View &x) |
| Test whether x is neither positive nor negative. | |
Arithmetic propagators
Status of propagation for nary max.
| Enumerator | |
|---|---|
| MPS_ASSIGNED | All views are assigned. |
| MPS_REMOVED | A view is removed. |
| MPS_NEW_BOUND | Telling has found a new upper bound. |
Definition at line 196 of file min-max.hpp.
|
inline |
Definition at line 204 of file min-max.hpp.