#include <Output.hpp>
Inheritance diagram for NativeOutput:
Public Member Functions | |
NativeOutput (ostream &) | |
void | pretty (const Refutation &, int answerNumber) |
void | inference (const Unit &conclusion, int indent) |
void | clause (const Clause &) |
void | clause (const Clause &, int indent) |
void | formula (const Formula &, int indent) |
void | formula (const Formula &) |
virtual void | connective (Formula::Connective) |
|
|
|
Implements Output. |
|
Implements Output. |
|
Reimplemented from Output. |
|
Reimplemented from Output. |
|
Pretty-print the formula in the native syntax.
Implements Output. |
|
Implements Output. |
|
Implements Output. |