Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Formula::AtomicData Member List

This is the complete list of members for Formula::AtomicData, including all inherited members.
_atomFormula::AtomicData [protected]
_connectiveFormula::Data [protected]
_counterFormula::Data [protected]
atom() constFormula::AtomicData [inline]
AtomicData(const Atom &atom)Formula::AtomicData [inline, explicit]
connective() constFormula::Data [inline]
Data(Connective c)Formula::Data [inline]
deref()Formula::Data [inline]
destroy()Formula::Data [inline, protected]
ref()Formula::Data [inline]
~Data()Formula::Data [inline]

Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2