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

Gecode::MiniModel::BoolRel Class Reference

#include <minimodel.hh>

List of all members.


Detailed Description

Boolean relations.

Definition at line 387 of file minimodel.hh.

Public Member Functions

 BoolRel (const BoolExpr &e, bool t)
 Constructor.
void post (Space *home) const
 Post propagators for relation.


Constructor & Destructor Documentation

Gecode::MiniModel::BoolRel::BoolRel const BoolExpr e,
bool  t
[inline]
 

Constructor.

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


Member Function Documentation

void Gecode::MiniModel::BoolRel::post Space home  )  const [inline]
 

Post propagators for relation.

Definition at line 35 of file bool-rel.icc.


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