relPrintExprBDT Class Reference

#include <relPrintExpr.h>

Inheritance diagram for relPrintExprBDT:

Inheritance graph
[legend]
Collaboration diagram for relPrintExprBDT:

Collaboration graph
[legend]

Detailed Description

Definition at line 283 of file relPrintExpr.h.

Public Member Functions

 relPrintExprBDT (relExpression *pExpr)
 ~relPrintExprBDT ()
virtual void interpret (bddSymTab *pSymTab, ostream *pOut)

Private Attributes

relExpressionmExpr


Constructor & Destructor Documentation

relPrintExprBDT::relPrintExprBDT ( relExpression pExpr  )  [inline]

Definition at line 289 of file relPrintExpr.h.

relPrintExprBDT::~relPrintExprBDT (  )  [inline]

Definition at line 293 of file relPrintExpr.h.

References mExpr.


Member Function Documentation

virtual void relPrintExprBDT::interpret ( bddSymTab pSymTab,
ostream *  pOut 
) [inline, virtual]

Implements relPrintExpr.

Definition at line 299 of file relPrintExpr.h.

References gAttributePrefix, relExpression::interpret(), mExpr, bddRelation::printBDT(), and bddSymTab::removeUserAttributes().

Here is the call graph for this function:


Field Documentation

relExpression* relPrintExprBDT::mExpr [private]

Definition at line 286 of file relPrintExpr.h.

Referenced by interpret(), and ~relPrintExprBDT().


The documentation for this class was generated from the following file:
Generated on Fri Jun 6 22:23:08 2008 for CrocoPat by  doxygen 1.5.1