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

Clause Member List

This is the complete list of members for Clause, including all inherited members.
_dataClause [private]
Clause()Clause [inline]
Clause(const LiteralList &lits)Clause [inline, explicit]
Clause(const Clause &t)Clause [inline]
Clause(const VampireKernel::Clause *, const VampireKernel &kernel)Clause
compare(Clause l) constClause
isEmpty() constClause [inline]
isEqualityAxiom() constClause
isFunctionDefinition(Term &lhs, Term &rhs) constClause
isFunctionReflexivityAxiom() constClause [private]
isless(Clause l) constClause
isPredicateReflexivityAxiom() constClause [private]
isReflexivityAxiom() constClause [private]
isRenamingOf(Clause c) constClause [inline]
isSymmetryAxiom() constClause [private]
isTransitivityAxiom() constClause [private]
literals() constClause [inline]
normalize()Clause
operator=(const Clause &rhs)Clause
~Clause()Clause [inline]

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