Linear relations. More...
#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 789 of file minimodel.hh.
Gecode::LinFloatRel::LinFloatRel | ( | const LinFloatExpr & | l, |
FloatRelType | frt, | ||
const LinFloatExpr & | r | ||
) | [inline] |
Create linear float relation for expressions l and r.
Definition at line 50 of file float-rel.hpp.
Gecode::LinFloatRel::LinFloatRel | ( | const LinFloatExpr & | l, |
FloatRelType | frt, | ||
FloatVal | r | ||
) | [inline] |
Create linear float relation for expression l and FloatVal r.
Definition at line 54 of file float-rel.hpp.
Gecode::LinFloatRel::LinFloatRel | ( | FloatVal | l, |
FloatRelType | frt, | ||
const LinFloatExpr & | r | ||
) | [inline] |
Create linear float relation for FloatVal l and expression r.
Definition at line 58 of file float-rel.hpp.
void Gecode::LinFloatRel::post | ( | Home | home, |
bool | t | ||
) | const [inline] |
Post propagator for relation (if t is false for negated relation)
Definition at line 76 of file float-rel.hpp.
void Gecode::LinFloatRel::post | ( | Home | home, |
const BoolVar & | b, | ||
bool | t | ||
) | const [inline] |
Post reified propagator for relation (if t is false for negated relation)
Definition at line 81 of file float-rel.hpp.