Generated on Thu Jul 6 07:07:05 2006 for Gecode by doxygen 1.4.7

Gecode::MiniModel::BoolRel Class Reference

#include <minimodel.hh>

List of all members.


Detailed Description

Boolean relations.

Definition at line 380 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: