relStmtFor Class Reference

#include <relStatement.h>

Inheritance diagram for relStmtFor:

[legend]Collaboration diagram for relStmtFor:

[legend]

---

Detailed Description

Definition at line 448 of file relStatement.h.

Public Member Functions
	relStmtFor (string *pStrVar, relExpression *pExpr, relStatement *pStmt)
	~relStmtFor ()
virtual void	interpret (bddSymTab *pSymTab)
Private Attributes
string *	mStrVar
relExpression *	mExpr
relStatement *	mStmt

---

Constructor & Destructor Documentation

relStmtFor::relStmtFor	(	string *	pStrVar,
		relExpression *	pExpr,
		relStatement *	pStmt
	)			[inline]

Definition at line 456 of file relStatement.h.

relStmtFor::~relStmtFor

(

)

[inline]

Definition at line 464 of file relStatement.h.

References mExpr, mStmt, and mStrVar.

---

Member Function Documentation

virtual void relStmtFor::interpret

(

bddSymTab *

pSymTab

)

[inline, virtual]

Implements relStatement.

Definition at line 472 of file relStatement.h.

References relExpression::collectFreeAttrs(), bddRelation::complement(), gAttributePrefix, bddSymTab::getAttributePos(), bddRelation::getElement(), bddSymTab::getValueNum(), gVariables, relStatement::interpret(), relExpression::interpret(), bddRelation::intersect(), bddRelation::isEmpty(), mExpr, bddRelation::mkEqual(), mStmt, mStrVar, bddSymTab::removeUserAttributes(), and relString::setValue().

Here is the call graph for this function:

---

Field Documentation

string* relStmtFor::mStrVar [private]

Definition at line 451 of file relStatement.h.

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

relExpression* relStmtFor::mExpr [private]

Definition at line 452 of file relStatement.h.

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

relStatement* relStmtFor::mStmt [private]

Definition at line 453 of file relStatement.h.

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

---

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

• src/relStatement.h

---