relExpression Class Reference

#include <relExpression.h>

Inheritance diagram for relExpression:

[legend]Collaboration diagram for relExpression:

[legend]

---

Detailed Description

Definition at line 56 of file relExpression.h.

Public Member Functions
virtual set< string >	collectFreeAttrs ()=0
virtual bddRelation	interpret (bddSymTab *pSymTab)=0

---

Member Function Documentation

virtual set<string> relExpression::collectFreeAttrs

(

)

[pure virtual]

Implemented in relExprRelVar, relExprRelNumCmp, relExprExists, relExprNot, relExprAnd, relExprOr, relExprEquiv, relExprClosure, relExprRelOp, relExprRegExTerm, and relExprTupleOf.

Referenced by relExprTupleOf::collectFreeAttrs(), relExprClosure::collectFreeAttrs(), relExprEquiv::collectFreeAttrs(), relExprOr::collectFreeAttrs(), relExprAnd::collectFreeAttrs(), relExprNot::collectFreeAttrs(), relExprExists::collectFreeAttrs(), relStrExprElem::interpret(), relStmtFor::interpret(), relStmtAssign::interpret(), relPrintExprGraph::interpret(), relPrintExprNodesPerVarId::interpret(), relPrintExprRelInfo::interpret(), relPrintExprValues::interpret(), relNumExprUnOp::interpret(), relExprTupleOf::interpret(), relExprClosure::interpret(), and relExprExists::interpret().

Here is the caller graph for this function:

virtual bddRelation relExpression::interpret

(

bddSymTab *

pSymTab

)

[pure virtual]

Implemented in relExprRelVar, relExprRelNumCmp, relExprExists, relExprNot, relExprAnd, relExprOr, relExprEquiv, relExprClosure, relExprRelOp, relExprRegExTerm, and relExprTupleOf.

Referenced by relStrExprElem::interpret(), relStmtFor::interpret(), relStmtWhile::interpret(), relStmtIf::interpret(), relStmtAssign::interpret(), relPrintExprBDT::interpret(), relPrintExprGraph::interpret(), relPrintExprNodesPerVarId::interpret(), relPrintExprRelInfo::interpret(), relPrintExprValues::interpret(), relNumExprUnOp::interpret(), relExprTupleOf::interpret(), relExprRelOp::interpret(), relExprClosure::interpret(), relExprEquiv::interpret(), relExprOr::interpret(), relExprAnd::interpret(), relExprNot::interpret(), and relExprExists::interpret().

Here is the caller graph for this function:

---

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

• src/relExpression.h

---