Generated on Sat Feb 7 2015 02:01:33 for Gecode by doxygen 1.8.9.1
post.cpp File Reference

(Revision: 13235)

#include <algorithm>
#include <climits>
#include <gecode/float/linear.hh>
#include <gecode/float/rel.hh>

Go to the source code of this file.

Classes

class  Gecode::Float::Linear::TermLess
 Sort linear terms by view. More...
 

Namespaces

 Gecode
 Gecode toplevel namespace
 
 Gecode::Float
 Floating point numbers.
 
 Gecode::Float::Linear
 Linear propagators
 

Functions

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...