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

XMLOutput Member List

This is the complete list of members for XMLOutput, including all inherited members.
_connectivePrintLengthXMLOutput [private, static]
_oneLineLengthLimitOutput [protected, static]
_streamOutput [protected]
_syntaxOutput [protected]
atom(const Atom &)XMLOutput [private, virtual]
clause(const Clause &)XMLOutput [private, virtual]
clause(const Clause &, int indent)XMLOutput [private, virtual]
connective(Formula::Connective)XMLOutput [private, virtual]
content(const Unit &unit, int indent)XMLOutput [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 &)XMLOutput [private, virtual]
formula(const Formula &, int indent)XMLOutput [private, virtual]
inference(const Unit &conclusion, int indent)XMLOutput [private, virtual]
literal(const Literal &)XMLOutput [private, virtual]
Output(OutputSyntax syntax, ostream &str)Output
parenthesesRequired(Formula::Connective inner, Formula::Connective outer)Output [protected, static]
pretty(const Refutation &, int answerNumber)XMLOutput [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 &)XMLOutput [private, virtual]
terms(const TermList &)XMLOutput [private, virtual]
var(Var v)XMLOutput [private, virtual]
vars(const VarList &)Output [protected]
XMLOutput(ostream &)XMLOutput

Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2