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