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

(Revision: 13235)

Go to the source code of this file.

Classes

class  Gecode::Float::Linear::Lin< P, N, pc >
 Base-class for n-ary linear propagators. More...
 
class  Gecode::Float::Linear::Eq< P, N >
 Propagator for bounds consistent n-ary linear equality More...
 
class  Gecode::Float::Linear::Lq< P, N >
 Propagator for bounds consistent n-ary linear less or equal More...
 
class  Gecode::Float::Linear::Term
 Class for describing linear term $a\cdot x$. More...
 

Namespaces

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

Functions

void Gecode::Float::Linear::estimate (Term *t, int n, FloatVal c, FloatNum &l, FloatNum &u)
 Estimate lower and upper bounds. More...
 
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...