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

Public Member Functions | |
| XMLOutput (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 [] |
|
|
Create an XML output.
|
|
|
Print an atom in the XML syntax.
Reimplemented from Output. |
|
||||||||||||
|
Pretty-print a clause in the XML syntax.
Implements Output. |
|
|
Print a clause in the XML syntax.
Implements Output. |
|
|
Print the connective name in the XML syntax.
Reimplemented from Output. |
|
||||||||||||
|
Output clause or formula from unit in the XML syntax.
Reimplemented from Output. |
|
||||||||||||
|
Pretty-print the formula in the XML syntax.
Implements Output. |
|
|
Print the formula in the XML syntax.
Reimplemented from Output. |
|
||||||||||||
|
Pretty-prints inference in the XML format.
Implements Output. |
|
|
Print a literal in the XML syntax.
Reimplemented from Output. |
|
||||||||||||
|
Pretty-print refutation in the XML format.
Implements Output. |
|
|
Print a term in the XML syntax.
Reimplemented from Output. |
|
|
Print a list of terms in the XML syntax.
Reimplemented from Output. |
|
|
Print a variable in the XML syntax.
Reimplemented from Output. |
|
|
|
1.3.2