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

Atom::Data Member List

This is the complete list of members for Atom::Data, including all inherited members.
_argsAtom::Data [protected]
_counterAtom::Data [protected]
_functorAtom::Data [protected]
args() constAtom::Data [inline]
Data()Atom::Data
Data(Signature::Pred *f, const TermList &args)Atom::Data [inline]
Data(Signature::Pred *f)Atom::Data [inline, explicit]
Data(const Term &l, const Term &r)Atom::Data
deref()Atom::Data [inline]
functor() constAtom::Data [inline]
ref()Atom::Data [inline]
~Data()Atom::Data [inline]

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