#include <relExpression.h>
Inheritance diagram for relExprClosure:
Definition at line 500 of file relExpression.h.
Public Types | |
| enum | relTCAlg { EXPTRAVERS, WARSHALLII } |
Public Member Functions | |
| relExprClosure (relExpression *pExpr, relTCAlg pAlg) | |
| ~relExprClosure () | |
| virtual set< string > | collectFreeAttrs () |
| virtual bddRelation | interpret (bddSymTab *pSymTab) |
Private Attributes | |
| relExpression * | mExpr |
| relTCAlg | mAlg |
| relExprClosure::relExprClosure | ( | relExpression * | pExpr, | |
| relTCAlg | pAlg | |||
| ) | [inline] |
Definition at line 510 of file relExpression.h.
| relExprClosure::~relExprClosure | ( | ) | [inline] |
| virtual set<string> relExprClosure::collectFreeAttrs | ( | ) | [inline, virtual] |
Implements relExpression.
Definition at line 522 of file relExpression.h.
References relExpression::collectFreeAttrs(), and mExpr.
Here is the call graph for this function:
| virtual bddRelation relExprClosure::interpret | ( | bddSymTab * | pSymTab | ) | [inline, virtual] |
Implements relExpression.
Definition at line 529 of file relExpression.h.
References bddSymTab::addAttribute(), relExpression::collectFreeAttrs(), bddRelation::complement(), bddSymTab::computeVariableOrder(), bddRelation::exists(), EXPTRAVERS, bddSymTab::getAttributePos(), bddRelation::getElement(), relExpression::interpret(), bddRelation::intersect(), bddRelation::isEmpty(), mAlg, mExpr, bddRelation::mkAttributeValue(), bddSymTab::removeAttribute(), bddRelation::rename(), bddRelation::setEqual(), bddRelation::unite(), and WARSHALLII.
Here is the call graph for this function:
relExpression* relExprClosure::mExpr [private] |
Definition at line 506 of file relExpression.h.
Referenced by collectFreeAttrs(), interpret(), and ~relExprClosure().
relTCAlg relExprClosure::mAlg [private] |
1.5.1