Generated on Wed Jan 4 17:49:21 2006 for Gecode by doxygen 1.4.6
Gecode::Int::Linear

Gecode::Int::Linear Namespace Reference

Detailed Description

Linear propagators


Classes

class  NoView
 No view serves as filler for empty view arrays. More...
class  TermLess
 Sort linear terms by view. More...
class  LinBin
 Base-class for binary linear propagators. More...
class  ReLinBin
 Base-class for reified binary linear propagators. More...
class  EqBin
 Propagator for bounds-consistent binary linear equality More...
class  ReEqBin
 Propagator for reified bounds-consistent binary linear equality More...
class  NqBin
 Propagator for bounds-consistent binary linear disequality More...
class  LqBin
 Propagator for bounds-consistent binary linear less or equal More...
class  GqBin
 Propagator for bounds-consistent binary linear greater or equal More...
class  ReLqBin
 Propagator for reified bounds-consistent binary linear less or equal More...
class  LinTer
 Base-class for ternary linear propagators. More...
class  EqTer
 Propagator for bounds-consistent ternary linear equality More...
class  NqTer
 Propagator for bounds-consistent ternary linear disquality More...
class  LqTer
 Propagator for bounds-consistent ternary linear less or equal More...
class  Lin
 Base-class for n-ary linear propagators. More...
class  ReLin
 Base-class for reified n-ary linear propagators. More...
class  Eq
 Propagator for bounds-consistent n-ary linear equality More...
class  ReEq
 Propagator for reified bounds-consistent n-ary linear equality More...
class  Nq
 Propagator for bounds-consistent n-ary linear disequality More...
class  Lq
 Propagator for bounds-consistent n-ary linear less or equal More...
class  ReLq
 Propagator for reified bounds-consistent n-ary linear less or equal More...
class  LinBool
 Base-class for Boolean linear propagators. More...
class  EqBool
 Propagator for equality to Boolean sum (cardinality) More...
class  NqBool
 Propagator for disequality to Boolean sum (cardinality) More...
class  LqBool
 Propagator for less or equal to Boolean sum (cardinality) More...
class  GqBool
 Propagator for greater or equal to Boolean sum (cardinality) More...
class  Term
 Class for describing linear term $a\cdot x$. More...

Functions

template<class Val, class View>
void bounds_p (const Propagator *p, ViewArray< View > &x, Val &c, Val &sl, Val &su)
template<class Val, class View>
void bounds_n (const Propagator *p, ViewArray< View > &y, Val &c, Val &sl, Val &su)
bool preprocess (Term e[], int &n, IntRelType &r, int &c, int &n_p, int &n_n)
bool int_precision (Term e[], int n, int c)
template<class Val, class View>
void post_nary (Space *home, ViewArray< View > &x, ViewArray< View > &y, IntRelType r, Val c)
void post (Space *home, Term t[], int n, IntRelType r, int c)
 Post propagator for linear constraint.
template<class Val, class View>
void post_nary (Space *home, ViewArray< View > &x, ViewArray< View > &y, IntRelType r, Val c, BoolView b)
void post (Space *home, Term t[], int n, IntRelType r, int c, BoolView b)
 Post reified propagator for linear constraint.

Function Documentation

template<class Val, class View>
void Gecode::Int::Linear::bounds_p (  const Propagator *  p,
ViewArray< View > &  x,
Val &  c,
Val &  sl,
Val &  su
)  [related]
 

Definition at line 94 of file nary.icc.

template<class Val, class View>
void Gecode::Int::Linear::bounds_n (  const Propagator *  p,
ViewArray< View > &  y,
Val &  c,
Val &  sl,
Val &  su
)  [related]
 

Definition at line 116 of file nary.icc.

bool Gecode::Int::Linear::preprocess (  Term  e[],
int &  n,
IntRelType &  r,
int &  c,
int &  n_p,
int &  n_n
) 
 

Definition at line 42 of file post.cc.

bool Gecode::Int::Linear::int_precision (  Term  e[],
int  n,
int  c
) 
 

Definition at line 113 of file post.cc.

template<class Val, class View>
void Gecode::Int::Linear::post_nary (  Space *  home,
ViewArray< View > &  x,
ViewArray< View > &  y,
IntRelType  r,
Val  c
)  [inline]
 

Definition at line 141 of file post.cc.

template<class Val, class View>
void Gecode::Int::Linear::post_nary (  Space *  home,
ViewArray< View > &  x,
ViewArray< View > &  y,
IntRelType  r,
Val  c,
BoolView  b
)  [inline]
 

Definition at line 363 of file post.cc.