relPrintExprInt Class Reference

#include <relPrintExpr.h>

Inheritance diagram for relPrintExprInt:

[legend]Collaboration diagram for relPrintExprInt:

[legend]

---

Detailed Description

Definition at line 112 of file relPrintExpr.h.

Public Member Functions
	relPrintExprInt (relNumExpr *pExpr)
	~relPrintExprInt ()
virtual void	interpret (bddSymTab *pSymTab, ostream *pOut)
Private Attributes
relNumExpr *	mExpr

---

Constructor & Destructor Documentation

relPrintExprInt::relPrintExprInt

(

relNumExpr *

pExpr

)

[inline]

Definition at line 118 of file relPrintExpr.h.

relPrintExprInt::~relPrintExprInt

(

)

[inline]

Definition at line 122 of file relPrintExpr.h.

References mExpr.

---

Member Function Documentation

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

Implements relPrintExpr.

Definition at line 128 of file relPrintExpr.h.

References gAttributePrefix, relNumber::getValue(), relNumExpr::interpret(), mExpr, and bddSymTab::removeUserAttributes().

Here is the call graph for this function:

---

Field Documentation

relNumExpr* relPrintExprInt::mExpr [private]

Definition at line 115 of file relPrintExpr.h.

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

---

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

• src/relPrintExpr.h

---