relPrintExprRelInfo Class Reference

#include <relPrintExpr.h>

Inheritance diagram for relPrintExprRelInfo:

Inheritance graph
[legend]
Collaboration diagram for relPrintExprRelInfo:

Collaboration graph
[legend]

Detailed Description

Definition at line 179 of file relPrintExpr.h.

Public Member Functions

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

Private Attributes

relExpressionmExpr


Constructor & Destructor Documentation

relPrintExprRelInfo::relPrintExprRelInfo ( relExpression pExpr  )  [inline]

Definition at line 185 of file relPrintExpr.h.

relPrintExprRelInfo::~relPrintExprRelInfo (  )  [inline]

Definition at line 189 of file relPrintExpr.h.

References mExpr.


Member Function Documentation

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

Implements relPrintExpr.

Definition at line 195 of file relPrintExpr.h.

References relExpression::collectFreeAttrs(), bddSymTab::computeVariableOrder(), gAttributePrefix, bddRelation::getTupleNr(), bddSymTab::getUniverseSize(), relExpression::interpret(), mExpr, bddRelation::printBddInfo(), and bddSymTab::removeUserAttributes().

Here is the call graph for this function:


Field Documentation

relExpression* relPrintExprRelInfo::mExpr [private]

Definition at line 182 of file relPrintExpr.h.

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


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