relTermExists Class Reference

#include <relTerm.h>

Inheritance diagram for relTermExists:

[legend]Collaboration diagram for relTermExists:

[legend]

---

Detailed Description

Definition at line 96 of file relTerm.h.

Public Member Functions
	relTermExists ()
	~relTermExists ()
virtual string	interpret (bddSymTab *pSymTab)

---

Constructor & Destructor Documentation

relTermExists::relTermExists

(

)

[inline]

Definition at line 101 of file relTerm.h.

relTermExists::~relTermExists

(

)

[inline]

Definition at line 104 of file relTerm.h.

---

Member Function Documentation

virtual string relTermExists::interpret

(

bddSymTab *

pSymTab

)

[inline, virtual]

Implements relTerm.

Definition at line 108 of file relTerm.h.

References bddSymTab::getUniverseSize().

Here is the call graph for this function:

---

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

• src/relTerm.h

---