#include <Output.hpp>
Inheritance diagram for KIFOutput:
Public Member Functions | |
KIFOutput (ostream &) | |
void | pretty (const Refutation &, int answerNumber) |
Private Member Functions | |
void | inference (const Unit &conclusion, int indent) |
void | content (const Unit &unit, int indent) |
void | clause (const Clause &) |
void | clause (const Clause &, int indent) |
void | formula (const Formula &) |
void | formula (const Formula &, int indent) |
void | literal (const Literal &) |
void | atom (const Atom &) |
void | connective (Formula::Connective) |
void | var (Var v) |
void | terms (const TermList &) |
void | term (const Term &) |
Static Private Attributes | |
int | _connectivePrintLength [] |
|
|
|
Reimplemented from Output. |
|
Implements Output. |
|
Implements Output. |
|
Reimplemented from Output. |
|
Reimplemented from Output. |
|
Implements Output. |
|
Reimplemented from Output. |
|
Implements Output. |
|
Reimplemented from Output. |
|
Implements Output. |
|
Reimplemented from Output. |
|
Reimplemented from Output. |
|
Reimplemented from Output. |
|
Initial value: { 0, 3, 2, 2, 3, 0, 3, 6, 6} |