Gecode::LinRel< Var > Class Template Reference
Linear relations. More...
#include <minimodel.hh>
Public Member Functions | |
LinRel (void) | |
Default constructor. | |
LinRel (const LinExpr< Var > &l, IntRelType irt, const LinExpr< Var > &r) | |
Create linear relation for expressions l and r. | |
LinRel (const LinExpr< Var > &l, IntRelType irt, int r) | |
Create linear relation for expression l and integer r. | |
LinRel (int l, IntRelType irt, const LinExpr< Var > &r) | |
Create linear relation for integer l and expression r. | |
void | post (Home home, bool t, IntConLevel icl) const |
Post propagator for relation (if t is false for negated relation). | |
void | post (Home home, const BoolVar &b, bool t, IntConLevel icl) const |
Post reified propagator for relation (if t is false for negated relation). |
Detailed Description
template<class Var>
class Gecode::LinRel< Var >
Linear relations.
Definition at line 163 of file minimodel.hh.
Constructor & Destructor Documentation
template<class Var >
Gecode::LinRel< Var >::LinRel | ( | void | ) | [inline] |
Default constructor.
Definition at line 46 of file lin-rel.hpp.
template<class Var>
Gecode::LinRel< Var >::LinRel | ( | const LinExpr< Var > & | l, | |
IntRelType | irt, | |||
const LinExpr< Var > & | r | |||
) | [inline] |
Create linear relation for expressions l and r.
Definition at line 50 of file lin-rel.hpp.
template<class Var>
Gecode::LinRel< Var >::LinRel | ( | const LinExpr< Var > & | l, | |
IntRelType | irt, | |||
int | r | |||
) | [inline] |
Create linear relation for expression l and integer r.
Definition at line 56 of file lin-rel.hpp.
template<class Var>
Gecode::LinRel< Var >::LinRel | ( | int | l, | |
IntRelType | irt, | |||
const LinExpr< Var > & | r | |||
) | [inline] |
Create linear relation for integer l and expression r.
Definition at line 61 of file lin-rel.hpp.
Member Function Documentation
template<class Var >
void Gecode::LinRel< Var >::post | ( | Home | home, | |
bool | t, | |||
IntConLevel | icl | |||
) | const [inline] |
Post propagator for relation (if t is false for negated relation).
Definition at line 81 of file lin-rel.hpp.
template<class Var >
void Gecode::LinRel< Var >::post | ( | Home | home, | |
const BoolVar & | b, | |||
bool | t, | |||
IntConLevel | icl | |||
) | const [inline] |
Post reified propagator for relation (if t is false for negated relation).
Definition at line 91 of file lin-rel.hpp.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 10032)
- gecode/minimodel/lin-rel.hpp (Revision: 9878)