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

Term::VarData Member List

This is the complete list of members for Term::VarData, including all inherited members.
_counterTerm::Data [protected]
_tagTerm::Data [protected]
_varTerm::VarData [private]
Data()Term::Data
Data(Tag tag)Term::Data [inline, explicit]
deref()Term::Data [inline]
destroy()Term::Data [inline]
ref()Term::Data [inline]
tag() constTerm::Data [inline]
var() constTerm::VarData [inline]
VarData(Var v)Term::VarData [inline, explicit]
~Data()Term::Data [inline]

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