Generated on Fri Oct 19 11:25:53 2018 for Gecode by doxygen 1.6.3

Gecode::LinFloatRel Class Reference

Linear relations. More...

#include <minimodel.hh>

List of all members.

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

Detailed Description

Linear relations.

Definition at line 792 of file minimodel.hh.


Constructor & Destructor Documentation

Gecode::LinFloatRel::LinFloatRel ( const LinFloatExpr l,
FloatRelType  frt,
const LinFloatExpr r 
) [inline]

Create linear float relation for expressions l and r.

Definition at line 46 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 50 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 54 of file float-rel.hpp.


Member Function Documentation

void Gecode::LinFloatRel::post ( Home  home,
bool  t 
) const [inline]

Post propagator for relation (if t is false for negated relation).

Definition at line 72 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 77 of file float-rel.hpp.


The documentation for this class was generated from the following files: