Generated on Wed Nov 1 15:05:21 2006 for Gecode by doxygen 1.4.5
Gecode::MiniModel::LinRel

Gecode::MiniModel::LinRel Class Reference

#include <minimodel.hh>

List of all members.

Detailed Description

Linear relations.

Definition at line 138 of file minimodel.hh.

Public Member Functions

 LinRel (void)
 Default constructor.
 LinRel (const LinExpr &l, IntRelType irt, const LinExpr &r)
 Create linear relation for expressions l and r.
 LinRel (const LinExpr &l, IntRelType irt, int r)
 Create linear relation for expression l and integer r.
 LinRel (int l, IntRelType irt, const LinExpr &r)
 Create linear relation for integer l and expression r.
void post (Space *home, bool t, IntConLevel icl) const
 Post propagator for relation (if t is false for negated relation).
void post (Space *home, const BoolVar &b) const
 Post refied propagator for relation.

Constructor & Destructor Documentation

Gecode::MiniModel::LinRel::LinRel (  void   )  [inline]
 

Default constructor.

Definition at line 31 of file lin-rel.icc.

Gecode::MiniModel::LinRel::LinRel (  const LinExpr &  l,
IntRelType  irt,
const LinExpr &  r
)  [inline]
 

Create linear relation for expressions l and r.

Definition at line 34 of file lin-rel.icc.

Gecode::MiniModel::LinRel::LinRel (  const LinExpr &  l,
IntRelType  irt,
int  r
)  [inline]
 

Create linear relation for expression l and integer r.

Definition at line 38 of file lin-rel.icc.

Gecode::MiniModel::LinRel::LinRel (  int  l,
IntRelType  irt,
const LinExpr &  r
)  [inline]
 

Create linear relation for integer l and expression r.

Definition at line 42 of file lin-rel.icc.

Member Function Documentation

void Gecode::MiniModel::LinRel::post (  Space *  home,
bool  t,
IntConLevel  icl
)  const [inline]
 

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

Definition at line 61 of file lin-rel.icc.

void Gecode::MiniModel::LinRel::post (  Space *  home,
const BoolVar &  b
)  const [inline]
 

Post refied propagator for relation.

Definition at line 70 of file lin-rel.icc.

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