Linear relations over integer variables. More...
#include <minimodel.hh>
Public Member Functions | |
LinIntRel (const LinIntExpr &l, IntRelType irt, const LinIntExpr &r) | |
Create linear relation for expressions l and r. More... | |
LinIntRel (const LinIntExpr &l, IntRelType irt, int r) | |
Create linear relation for expression l and integer r. More... | |
LinIntRel (int l, IntRelType irt, const LinIntExpr &r) | |
Create linear relation for integer l and expression r. More... | |
void | post (Home home, bool t, IntConLevel icl) const |
Post propagator for relation (if t is false for negated relation) More... | |
void | post (Home home, const BoolVar &b, bool t, IntConLevel icl) const |
Post reified propagator for relation (if t is false for negated relation) More... | |
Linear relations over integer variables.
Definition at line 227 of file minimodel.hh.
|
inline |
Create linear relation for expressions l and r.
Definition at line 48 of file int-rel.hpp.
|
inline |
Create linear relation for expression l and integer r.
Definition at line 52 of file int-rel.hpp.
|
inline |
Create linear relation for integer l and expression r.
Definition at line 56 of file int-rel.hpp.
|
inline |
Post propagator for relation (if t is false for negated relation)
Definition at line 74 of file int-rel.hpp.
|
inline |
Post reified propagator for relation (if t is false for negated relation)
Definition at line 79 of file int-rel.hpp.