Generated on Sat Feb 7 2015 02:01:43 for Gecode by doxygen 1.8.9.1
Gecode::Float::Linear Namespace Reference

Linear propagators More...

Classes

class  Eq
 Propagator for bounds consistent n-ary linear equality More...
 
class  Lin
 Base-class for n-ary linear propagators. More...
 
class  Lq
 Propagator for bounds consistent n-ary linear less or equal More...
 
class  Term
 Class for describing linear term $a\cdot x$. More...
 
class  TermLess
 Sort linear terms by view. More...
 

Functions

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

Detailed Description

Linear propagators

Function Documentation

template<class View >
void Gecode::Float::Linear::eliminate_p ( ModEventDelta  med,
ViewArray< View > &  x,
FloatVal c 
)

Definition at line 124 of file nary.hpp.

template<class View >
void Gecode::Float::Linear::eliminate_n ( ModEventDelta  med,
ViewArray< View > &  y,
FloatVal c 
)

Definition at line 139 of file nary.hpp.

bool Gecode::Float::Linear::infty ( const FloatNum n)
inline

Definition at line 152 of file nary.hpp.

void Gecode::Float::Linear::estimate ( Term t,
int  n,
FloatVal  c,
FloatNum l,
FloatNum u 
)

Estimate lower and upper bounds.

Estimates the boundaries for a linear expression $\sum_{i=0}^{n-1}t_i + c$. If the boundaries exceed the limits as defined in Limits::Float, these boundaries are returned.

Parameters
tarray of linear terms
nsize of array
cconstant
llower bound
uupper bound

Definition at line 49 of file post.cpp.

FloatView Gecode::Float::Linear::extend ( Home  home,
Region r,
Term *&  t,
int &  n 
)

Extend terms by adding view for result.

Definition at line 78 of file post.cpp.

template<class View >
void Gecode::Float::Linear::post_nary ( Home  home,
ViewArray< View > &  x,
ViewArray< View > &  y,
FloatRelType  frt,
FloatVal  c 
)
inline

Posting n-ary propagators.

Definition at line 97 of file post.cpp.

void Gecode::Float::Linear::dopost ( Home  home,
Term t,
int  n,
FloatRelType  frt,
FloatVal  c 
)

Definition at line 112 of file post.cpp.