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

Formula::UnaryData Member List

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

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