relExprEquiv Class Reference

#include <relExpression.h>

Inheritance diagram for relExprEquiv:

[legend]Collaboration diagram for relExprEquiv:

[legend]

---

Detailed Description

Definition at line 456 of file relExpression.h.

Public Member Functions
	relExprEquiv (relExpression *pExpr1, relExpression *pExpr2)
	~relExprEquiv ()
virtual set< string >	collectFreeAttrs ()
virtual bddRelation	interpret (bddSymTab *pSymTab)
Private Attributes
relExpression *	mExpr1
relExpression *	mExpr2

---

Constructor & Destructor Documentation

relExprEquiv::relExprEquiv	(	relExpression *	pExpr1,
		relExpression *	pExpr2
	)			[inline]

Definition at line 463 of file relExpression.h.

relExprEquiv::~relExprEquiv

(

)

[inline]

Definition at line 468 of file relExpression.h.

References mExpr1, and mExpr2.

---

Member Function Documentation

virtual set<string> relExprEquiv::collectFreeAttrs

(

)

[inline, virtual]

Implements relExpression.

Definition at line 475 of file relExpression.h.

References relExpression::collectFreeAttrs(), mExpr1, and mExpr2.

Here is the call graph for this function:

virtual bddRelation relExprEquiv::interpret

(

bddSymTab *

pSymTab

)

[inline, virtual]

Implements relExpression.

Definition at line 484 of file relExpression.h.

References bddRelation::complement(), relExpression::interpret(), bddRelation::intersect(), mExpr1, mExpr2, and bddRelation::unite().

Here is the call graph for this function:

---

Field Documentation

relExpression* relExprEquiv::mExpr1 [private]

Definition at line 459 of file relExpression.h.

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

relExpression* relExprEquiv::mExpr2 [private]

Definition at line 460 of file relExpression.h.

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

---

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

• src/relExpression.h

---