_connectivePrintLength | KIFOutput | [private, static] |
_oneLineLengthLimit | Output | [protected, static] |
_stream | Output | [protected] |
_syntax | Output | [protected] |
atom(const Atom &) | KIFOutput | [private, virtual] |
clause(const Clause &) | KIFOutput | [private, virtual] |
clause(const Clause &, int indent) | KIFOutput | [private, virtual] |
connective(Formula::Connective) | KIFOutput | [private, virtual] |
content(const Unit &unit, int indent) | KIFOutput | [private, virtual] |
Output::content(const Unit &unit) | Output | [protected] |
create(OutputSyntax, ostream &) | Output | [static] |
fitsInOneLine(const Formula &) const | Output | [protected] |
fitsInOneLine(const Formula &, int &limit) | Output | [protected, static] |
formula(const Formula &) | KIFOutput | [private, virtual] |
formula(const Formula &, int indent) | KIFOutput | [private, virtual] |
inference(const Unit &conclusion, int indent) | KIFOutput | [private, virtual] |
KIFOutput(ostream &) | KIFOutput | |
literal(const Literal &) | KIFOutput | [private, virtual] |
Output(OutputSyntax syntax, ostream &str) | Output | |
parenthesesRequired(Formula::Connective inner, Formula::Connective outer) | Output | [protected, static] |
pretty(const Refutation &, int answerNumber) | KIFOutput | [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 &) | KIFOutput | [private, virtual] |
terms(const TermList &) | KIFOutput | [private, virtual] |
var(Var v) | KIFOutput | [private, virtual] |
vars(const VarList &) | Output | [protected] |