Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

KIFOutput Member List

This is the complete list of members for KIFOutput, including all inherited members.
_connectivePrintLengthKIFOutput [private, static]
_oneLineLengthLimitOutput [protected, static]
_streamOutput [protected]
_syntaxOutput [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 &) constOutput [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]

Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2