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

Atom Member List

This is the complete list of members for Atom, including all inherited members.
_dataAtom [private]
apply(const Substitution &subst)Atom
args() constAtom [inline]
Atom()Atom [inline]
Atom(Signature::Pred *p, const TermList &args)Atom [inline]
Atom(Signature::Pred *p)Atom [inline]
Atom(const Term &l, const Term &r)Atom [inline]
Atom(const Atom &a)Atom [inline]
compare(Atom l) constAtom
equal(Atom t) constAtom
functionMonotonicity(Atom a1, Atom a2)Atom [static]
functor() constAtom [inline]
hasVarsNotIn(VarListList) constAtom [inline]
isDefinition(Term &lhs, Term &rhs) constAtom
isEquality() constAtom [inline]
isFlat() constAtom [inline]
isRenamingOf(Atom a, Substitution &sbst) constAtom
isTautology() constAtom
normalize()Atom
occurring(bool *occurrences, Var max) constAtom
occurs(const Signature::Pred *) constAtom
occurs(Var v) constAtom
operator new(size_t)Atom
operator=(const Atom &rhs)Atom
operator==(const Atom &rhs) constAtom [inline]
predicateMonotonicity(Atom a1, Atom a2, Atom a3)Atom [static]
rectify(Substitution &, Var &last, VarList &freeVars)Atom
swap(Atom a) constAtom
transitivity(Atom a1, Atom a2, Atom a3)Atom [static]
~Atom()Atom [inline]

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