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

Refutation Member List

This is the complete list of members for Refutation, including all inherited members.
_goalRefutation [private]
_kernelRefutation [private]
_problemRefutation [private]
collect(const VampireKernel::Clause *, Map &map)Refutation [private]
collect(const VampireKernel::Clause::Ancestor *ancestors, Map &map)Refutation [private]
condense() constRefutation
condense(Unit root, Map &condenced) constRefutation [private]
condense(UnitList units, Map &condensed) constRefutation [private]
kernel() constRefutation [inline]
problem() constRefutation [inline]
Refutation(const VampireKernel &kernel, const Problem &problem)Refutation

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