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

Term::CompoundData Member List

This is the complete list of members for Term::CompoundData, including all inherited members.
_argsTerm::CompoundData [private]
_counterTerm::Data [protected]
_functorTerm::CompoundData [private]
_tagTerm::Data [protected]
args() constTerm::CompoundData [inline]
CompoundData(Signature::Fun *f, const TermList &args)Term::CompoundData [inline]
CompoundData(Signature::Fun *f)Term::CompoundData [inline, explicit]
Data()Term::Data
Data(Tag tag)Term::Data [inline, explicit]
deref()Term::Data [inline]
destroy()Term::Data [inline]
functor() constTerm::CompoundData [inline]
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