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

Literal Member List

This is the complete list of members for Literal, including all inherited members.
_dataLiteral [private]
atom() constLiteral [inline]
compare(Literal l) constLiteral
exists() constLiteral [inline]
isless(Literal l) constLiteral
isRenamingOf(Literal l, Substitution &sbst) constLiteral
Literal()Literal [inline]
Literal(bool sign, const Atom &atom)Literal [inline]
Literal(const Literal &t)Literal [inline]
Literal(const VampireKernel::Literal *lit, const VampireKernel &kernel)Literal
negative() constLiteral [inline]
normalize()Literal
operator=(const Literal &rhs)Literal
positive() constLiteral [inline]
sign() constLiteral [inline]
~Literal()Literal [inline]

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