(Revision: 13235)
#include <algorithm>
#include <climits>
#include <gecode/float/linear.hh>
#include <gecode/float/rel.hh>
Go to the source code of this file.
|
| void | Gecode::Float::Linear::estimate (Term *t, int n, FloatVal c, FloatNum &l, FloatNum &u) |
| | Estimate lower and upper bounds. More...
|
| |
| FloatView | Gecode::Float::Linear::extend (Home home, Region &r, Term *&t, int &n) |
| | Extend terms by adding view for result. More...
|
| |
| template<class View > |
| void | Gecode::Float::Linear::post_nary (Home home, ViewArray< View > &x, ViewArray< View > &y, FloatRelType frt, FloatVal c) |
| | Posting n-ary propagators. More...
|
| |
| void | Gecode::Float::Linear::dopost (Home home, Term *t, int n, FloatRelType frt, FloatVal c) |
| |
| void | Gecode::Float::Linear::post (Home home, Term *t, int n, FloatRelType frt, FloatVal c) |
| | Post propagator for linear constraint over floats. More...
|
| |
| void | Gecode::Float::Linear::post (Home home, Term *t, int n, FloatRelType frt, FloatVal c, Reify r) |
| | Post propagator for reified linear constraint over floats. More...
|
| |