relTermAttribute Class Reference

#include <relTerm.h>

Inheritance diagram for relTermAttribute:

Inheritance graph
[legend]
Collaboration diagram for relTermAttribute:

Collaboration graph
[legend]

Detailed Description

Definition at line 46 of file relTerm.h.

Public Member Functions

 relTermAttribute (string *pAttribute)
 ~relTermAttribute ()
virtual string interpret (bddSymTab *pSymTab)

Private Attributes

string * mAttribute


Constructor & Destructor Documentation

relTermAttribute::relTermAttribute ( string *  pAttribute  )  [inline]

Definition at line 52 of file relTerm.h.

relTermAttribute::~relTermAttribute (  )  [inline]

Definition at line 56 of file relTerm.h.

References mAttribute.


Member Function Documentation

virtual string relTermAttribute::interpret ( bddSymTab pSymTab  )  [inline, virtual]

Implements relTerm.

Definition at line 62 of file relTerm.h.

References bddSymTab::getUniverseSize(), and mAttribute.

Here is the call graph for this function:


Field Documentation

string* relTermAttribute::mAttribute [private]

Definition at line 49 of file relTerm.h.

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


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