| _oneLineLengthLimit | Output | [protected, static] |
| _stream | Output | [protected] |
| _syntax | Output | [protected] |
| atom(const Atom &) | Output | [protected, virtual] |
| clause(const Clause &) | NativeOutput | [virtual] |
| clause(const Clause &, int indent) | NativeOutput | [virtual] |
| connective(Formula::Connective) | NativeOutput | [virtual] |
| content(const Unit &unit) | Output | [protected] |
| content(const Unit &unit, int indent) | Output | [protected, virtual] |
| create(OutputSyntax, ostream &) | Output | [static] |
| fitsInOneLine(const Formula &) const | Output | [protected] |
| fitsInOneLine(const Formula &, int &limit) | Output | [protected, static] |
| formula(const Formula &, int indent) | NativeOutput | [virtual] |
| formula(const Formula &) | NativeOutput | [virtual] |
| inference(const Unit &conclusion, int indent) | NativeOutput | [virtual] |
| literal(const Literal &) | Output | [protected, virtual] |
| NativeOutput(ostream &) | NativeOutput | |
| Output(OutputSyntax syntax, ostream &str) | Output | |
| parenthesesRequired(Formula::Connective inner, Formula::Connective outer) | Output | [protected, static] |
| pretty(const Refutation &, int answerNumber) | NativeOutput | [virtual] |
| refutation(const Unit &goal, int indent, Map &map) | Output | [protected] |
| refutations(const UnitList &goal, int indent, Map &map) | Output | [protected] |
| repeat(char character, int times) | Output | [protected] |
| spaces(int times) | Output | [protected, virtual] |
| subformula(const Formula &, int indent, Formula::Connective outer) | Output | [protected] |
| subformula(const Formula &, Formula::Connective outer) | Output | [protected] |
| symbol(const Signature::Symbol *) | Output | [protected, virtual] |
| term(const Term &) | Output | [protected, virtual] |
| terms(const TermList &) | Output | [protected, virtual] |
| var(Var v) | Output | [protected, virtual] |
| vars(const VarList &) | Output | [protected] |