relStmtAssign Class Reference

#include <relStatement.h>

Inheritance diagram for relStmtAssign:

[legend]Collaboration diagram for relStmtAssign:

[legend]

---

Detailed Description

Definition at line 69 of file relStatement.h.

Public Member Functions
	relStmtAssign (string *pRelVar, vector< relTerm * > *pTermList, relExpression *pExpr)
	~relStmtAssign ()
virtual void	interpret (bddSymTab *pSymTab)
Private Attributes
string *	mRelVar
	LHS.
vector< relTerm * > *	mTermList
relExpression *	mExpr

---

Constructor & Destructor Documentation

relStmtAssign::relStmtAssign	(	string *	pRelVar,
		vector< relTerm * > *	pTermList,
		relExpression *	pExpr
	)			[inline]

Definition at line 80 of file relStatement.h.

relStmtAssign::~relStmtAssign

(

)

[inline]

Definition at line 88 of file relStatement.h.

References mExpr, mRelVar, and mTermList.

---

Member Function Documentation

virtual void relStmtAssign::interpret

(

bddSymTab *

pSymTab

)

[inline, virtual]

Implements relStatement.

Definition at line 103 of file relStatement.h.

References bddSymTab::addAttribute(), relExpression::collectFreeAttrs(), bddRelation::complement(), gAttributePrefix, gVariables, relExpression::interpret(), bddRelation::intersect(), bddRelation::mArity, mExpr, bddRelation::mkAttributeValue(), mRelVar, mTermList, bddSymTab::removeUserAttributes(), bddRelation::rename(), bddRelation::unite(), and unsigned2string().

Here is the call graph for this function:

---

Field Documentation

string* relStmtAssign::mRelVar [private]

LHS.

Definition at line 73 of file relStatement.h.

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

vector<relTerm*>* relStmtAssign::mTermList [private]

Definition at line 75 of file relStatement.h.

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

relExpression* relStmtAssign::mExpr [private]

Definition at line 77 of file relStatement.h.

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

---

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

• src/relStatement.h

---