|
| void | estimate (Term *t, int n, FloatVal c, FloatNum &l, FloatNum &u) |
| | Estimate lower and upper bounds.
|
| |
| void | post (Home home, Term *t, int n, FloatRelType frt, FloatVal c) |
| | Post propagator for linear constraint over floats.
|
| |
| void | post (Home home, Term *t, int n, FloatRelType frt, FloatVal c, Reify r) |
| | Post propagator for reified linear constraint over floats.
|
| |
| template<class View> |
| void | eliminate_p (ModEventDelta med, ViewArray< View > &x, FloatVal &c) |
| |
| template<class View> |
| void | eliminate_n (ModEventDelta med, ViewArray< View > &y, FloatVal &c) |
| |
| bool | infty (const FloatNum &n) |
| |
| bool | overflow (Term *t, int n, FloatVal c) |
| |
| FloatView | extend (Home home, Region &r, Term *&t, int &n) |
| | Extend terms by adding view for result.
|
| |
| template<class View> |
| void | post_nary (Home home, ViewArray< View > &x, ViewArray< View > &y, FloatRelType frt, FloatVal c) |
| | Posting n-ary propagators.
|
| |
| void | dopost (Home home, Term *t, int n, FloatRelType frt, FloatVal c) |
| |
| template<class View> |
| void | bounds_p (ModEventDelta med, ViewArray< View > &x, FloatVal &c, FloatNum &sl, FloatNum &su) |
| | Compute bounds information for positive views.
|
| |
| template<class View> |
| void | bounds_n (ModEventDelta med, ViewArray< View > &y, FloatVal &c, FloatNum &sl, FloatNum &su) |
| | Compute bounds information for negative views.
|
| |