| _goal | Refutation | [private] |
| _kernel | Refutation | [private] |
| _problem | Refutation | [private] |
| collect(const VampireKernel::Clause *, Map &map) | Refutation | [private] |
| collect(const VampireKernel::Clause::Ancestor *ancestors, Map &map) | Refutation | [private] |
| condense() const | Refutation | |
| condense(Unit root, Map &condenced) const | Refutation | [private] |
| condense(UnitList units, Map &condensed) const | Refutation | [private] |
| kernel() const | Refutation | [inline] |
| problem() const | Refutation | [inline] |
| Refutation(const VampireKernel &kernel, const Problem &problem) | Refutation |
1.3.2