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

Term::NumericData Member List

This is the complete list of members for Term::NumericData, including all inherited members.
_counterTerm::Data [protected]
_numberTerm::NumericData [private]
_tagTerm::Data [protected]
Data()Term::Data
Data(Tag tag)Term::Data [inline, explicit]
deref()Term::Data [inline]
destroy()Term::Data [inline]
number() constTerm::NumericData [inline]
NumericData(double f)Term::NumericData [inline, explicit]
ref()Term::Data [inline]
tag() constTerm::Data [inline]
~Data()Term::Data [inline]

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