Linear propagators
More...
|
| class | TermLess |
| | Sort linear terms by view. More...
|
| |
| class | Lin |
| | Base-class for n-ary linear propagators. More...
|
| |
| class | Eq |
| | Propagator for bounds consistent n-ary linear equality More...
|
| |
| class | Lq |
| | Propagator for bounds consistent n-ary linear less or equal More...
|
| |
| class | Term |
| | Class for describing linear term . More...
|
| |
|
| 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) |
| |
| void | estimate (Term *t, int n, FloatVal c, FloatNum &l, FloatNum &u) |
| | Estimate lower and upper bounds. More...
|
| |
| 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. More...
|
| |
| template<class View > |
| void | post_nary (Home home, ViewArray< View > &x, ViewArray< View > &y, FloatRelType frt, FloatVal c) |
| | Posting n-ary propagators. More...
|
| |
| void | dopost (Home home, Term *t, int n, FloatRelType frt, FloatVal c) |
| |
| void | post (Home home, Term *t, int n, FloatRelType frt, FloatVal c) |
| | Post propagator for linear constraint over floats. More...
|
| |
| void | post (Home home, Term *t, int n, FloatRelType frt, FloatVal c, Reify r) |
| | Post propagator for reified linear constraint over floats. More...
|
| |
◆ eliminate_p()
◆ eliminate_n()
◆ infty()
| bool Gecode::Float::Linear::infty |
( |
const FloatNum & |
n | ) |
|
|
inline |
◆ estimate()
Estimate lower and upper bounds.
Estimates the boundaries for a linear expression
. If the boundaries exceed the limits as defined in Limits::Float, these boundaries are returned.
- Parameters
-
| t | array of linear terms |
| n | size of array |
| c | constant |
| l | lower bound |
| u | upper bound |
Definition at line 45 of file post.cpp.
◆ overflow()
| bool Gecode::Float::Linear::overflow |
( |
Term * |
t, |
|
|
int |
n, |
|
|
FloatVal |
c |
|
) |
| |
|
inline |
◆ extend()
Extend terms by adding view for result.
Definition at line 85 of file post.cpp.
◆ post_nary()
Posting n-ary propagators.
Definition at line 104 of file post.cpp.
◆ dopost()