#include <Output.hpp>
Inheritance diagram for LaTeXOutput:

Public Member Functions | |
| LaTeXOutput (ostream &) | |
| void | pretty (const Refutation &, int answerNumber) |
Private Member Functions | |
| void | symbol (const Signature::Symbol *) |
| void | inference (const Unit &conclusion, int indent) |
| void | clause (const Clause &) |
| void | literals (const LiteralList &lits) |
| void | literals (const LiteralList &lits, int indent) |
| void | clause (const Clause &, int indent) |
| void | formula (const Formula &, int indent) |
| void | formula (const Formula &) |
| void | connective (Formula::Connective) |
| void | var (Var v) |
| void | spaces (int times) |
|
|
|
|
||||||||||||
|
Implements Output. |
|
|
Implements Output. |
|
|
Reimplemented from Output. |
|
|
Reimplemented from Output. |
|
||||||||||||
|
Implements Output. |
|
||||||||||||
|
Implements Output. |
|
||||||||||||
|
|
|
|
|
|
||||||||||||
|
Implements Output. |
|
|
Reimplemented from Output. |
|
|
Reimplemented from Output. |
|
|
Reimplemented from Output. |
1.3.2