relExprRelVar Class Reference

#include <relExpression.h>

Inheritance diagram for relExprRelVar:

[legend]Collaboration diagram for relExprRelVar:

[legend]

---

Detailed Description

Definition at line 67 of file relExpression.h.

Public Member Functions
	relExprRelVar (string *pRelVar, vector< relTerm * > *pTermList)
	~relExprRelVar ()
virtual set< string >	collectFreeAttrs ()
virtual bddRelation	interpret (bddSymTab *pSymTab)
Private Attributes
string *	mRelVar
vector< relTerm * > *	mTermList

---

Constructor & Destructor Documentation

relExprRelVar::relExprRelVar	(	string *	pRelVar,
		vector< relTerm * > *	pTermList
	)			[inline]

Definition at line 74 of file relExpression.h.

relExprRelVar::~relExprRelVar

(

)

[inline]

Definition at line 79 of file relExpression.h.

References mRelVar, and mTermList.

---

Member Function Documentation

virtual set<string> relExprRelVar::collectFreeAttrs

(

)

[inline, virtual]

Implements relExpression.

Definition at line 93 of file relExpression.h.

References gSymTab, and mTermList.

virtual bddRelation relExprRelVar::interpret

(

bddSymTab *

pSymTab

)

[inline, virtual]

Implements relExpression.

Definition at line 109 of file relExpression.h.

References bddSymTab::addAttribute(), bddRelation::exists(), gAttributeNum, gAttributePrefix, gPrintWarnings, gVariables, bddRelation::intersect(), bddSymTab::isValueGood(), bddRelation::mArity, bddRelation::mkAttributeValue(), mRelVar, mTermList, bddRelation::rename(), bddRelation::testVars(), and unsigned2string().

Here is the call graph for this function:

---

Field Documentation

string* relExprRelVar::mRelVar [private]

Definition at line 70 of file relExpression.h.

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

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

Definition at line 71 of file relExpression.h.

Referenced by collectFreeAttrs(), interpret(), and ~relExprRelVar().

---

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

• src/relExpression.h

---