Generated on Fri Mar 20 15:56:49 2015 for Gecode by doxygen 1.6.3
Gecode::LinIntRel

Gecode::LinIntRel Class Reference

Linear relations over integer variables. More...

#include <minimodel.hh>

List of all members.

Public Member Functions

 LinIntRel (const LinIntExpr &l, IntRelType irt, const LinIntExpr &r)
 Create linear relation for expressions l and r.
 LinIntRel (const LinIntExpr &l, IntRelType irt, int r)
 Create linear relation for expression l and integer r.
 LinIntRel (int l, IntRelType irt, const LinIntExpr &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

Linear relations over integer variables.

Definition at line 227 of file minimodel.hh.

Constructor & Destructor Documentation

Gecode::LinIntRel::LinIntRel ( const LinIntExpr &  l,
IntRelType  irt,
const LinIntExpr &  r 
) [inline]

Create linear relation for expressions l and r.

Definition at line 48 of file int-rel.hpp.

Gecode::LinIntRel::LinIntRel ( const LinIntExpr &  l,
IntRelType  irt,
int  r 
) [inline]

Create linear relation for expression l and integer r.

Definition at line 52 of file int-rel.hpp.

Gecode::LinIntRel::LinIntRel ( int  l,
IntRelType  irt,
const LinIntExpr &  r 
) [inline]

Create linear relation for integer l and expression r.

Definition at line 56 of file int-rel.hpp.

Member Function Documentation

void Gecode::LinIntRel::post ( Home  home,
bool  t,
IntConLevel  icl 
) const [inline]

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

Definition at line 74 of file int-rel.hpp.

void Gecode::LinIntRel::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 79 of file int-rel.hpp.

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