#include <minimodel.hh>
Public Member Functions | |
LinFloatRel (const LinFloatExpr &l, FloatRelType frt, const LinFloatExpr &r) | |
Create linear float relation for expressions l and r. | |
LinFloatRel (const LinFloatExpr &l, FloatRelType frt, FloatVal r) | |
Create linear float relation for expression l and FloatVal r. | |
LinFloatRel (FloatVal l, FloatRelType frt, const LinFloatExpr &r) | |
Create linear float relation for FloatVal l and expression r. | |
void | post (Home home, bool t) const |
Post propagator for relation (if t is false for negated relation) | |
void | post (Home home, const BoolVar &b, bool t) const |
Post reified propagator for relation (if t is false for negated relation) |
Linear relations.
Definition at line 896 of file minimodel.hh.
|
inline |
Create linear float relation for expressions l and r.
Definition at line 46 of file float-rel.hpp.
|
inline |
Create linear float relation for expression l and FloatVal r.
Definition at line 50 of file float-rel.hpp.
|
inline |
Create linear float relation for FloatVal l and expression r.
Definition at line 54 of file float-rel.hpp.
|
inline |
Post propagator for relation (if t is false for negated relation)
Definition at line 72 of file float-rel.hpp.
Post reified propagator for relation (if t is false for negated relation)
Definition at line 77 of file float-rel.hpp.