relExprExists Class Reference

#include <relExpression.h>

Inheritance diagram for relExprExists:

Inheritance graph
[legend]
Collaboration diagram for relExprExists:

Collaboration graph
[legend]

Detailed Description

Definition at line 283 of file relExpression.h.

Public Member Functions

 relExprExists (vector< relTerm * > *pTermList, relExpression *pExpr)
 ~relExprExists ()
virtual set< string > collectFreeAttrs ()
virtual bddRelation interpret (bddSymTab *pSymTab)

Private Attributes

vector< relTerm * > * mTermList
relExpressionmExpr


Constructor & Destructor Documentation

relExprExists::relExprExists ( vector< relTerm * > *  pTermList,
relExpression pExpr 
) [inline]

Definition at line 290 of file relExpression.h.

relExprExists::~relExprExists (  )  [inline]

Definition at line 295 of file relExpression.h.

References mExpr, and mTermList.


Member Function Documentation

virtual set<string> relExprExists::collectFreeAttrs (  )  [inline, virtual]

Implements relExpression.

Definition at line 309 of file relExpression.h.

References relExpression::collectFreeAttrs(), gSymTab, mExpr, and mTermList.

Here is the call graph for this function:

virtual bddRelation relExprExists::interpret ( bddSymTab pSymTab  )  [inline, virtual]

Implements relExpression.

Definition at line 325 of file relExpression.h.

References relExpression::collectFreeAttrs(), relExpression::interpret(), mExpr, and mTermList.

Here is the call graph for this function:


Field Documentation

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

Definition at line 286 of file relExpression.h.

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

relExpression* relExprExists::mExpr [private]

Definition at line 287 of file relExpression.h.

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


The documentation for this class was generated from the following file:
Generated on Fri Jun 6 22:22:46 2008 for CrocoPat by  doxygen 1.5.1