Generated on Mon Nov 30 23:53:47 2009 for Gecode by doxygen 1.6.1

Gecode::LinRel< Var > Class Template Reference

Linear relations. More...

#include <minimodel.hh>

List of all members.

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: