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

XMLOutput Class Reference

#include <Output.hpp>

Inheritance diagram for XMLOutput:

Output List of all members.

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 []

Detailed Description

Implements XML output.


Constructor & Destructor Documentation

XMLOutput::XMLOutput ostream &  str  ) 
 

Create an XML output.

Parameters:
str the output stream for this output.


Member Function Documentation

void XMLOutput::atom const Atom atm  )  [private, virtual]
 

Print an atom in the XML syntax.

Since:
27/06/2003
Parameters:
atm the atom

Reimplemented from Output.

void XMLOutput::clause const Clause c,
int  indent
[private, virtual]
 

Pretty-print a clause in the XML syntax.

Since:
27/06/2003
Parameters:
c the clause
indent indentation

Implements Output.

void XMLOutput::clause const Clause c  )  [private, virtual]
 

Print a clause in the XML syntax.

Since:
27/06/2003
Parameters:
c the clause

Implements Output.

void XMLOutput::connective Formula::Connective  con  )  [private, virtual]
 

Print the connective name in the XML syntax.

Since:
27/06/2003
Parameters:
con the connective

Reimplemented from Output.

void XMLOutput::content const Unit unit,
int  indent
[private, virtual]
 

Output clause or formula from unit in the XML syntax.

Since:
25/06/2003 Manchester.
Parameters:
unit the unit containing a clause or a formula.
indent the indentation.

Reimplemented from Output.

void XMLOutput::formula const Formula f,
int  indent
[private, virtual]
 

Pretty-print the formula in the XML syntax.

Since:
27/06/2003, Manchester
Parameters:
f the formula
indent indentation

Implements Output.

void XMLOutput::formula const Formula f  )  [private, virtual]
 

Print the formula in the XML syntax.

Since:
27/06/2003, Manchester
Parameters:
f the formula

Reimplemented from Output.

void XMLOutput::inference const Unit u,
int  indent
[private, virtual]
 

Pretty-prints inference in the XML format.

Since:
25/06/2003, Manchester.
Parameters:
u the unit derived by this inference.
indent the indentation.

Implements Output.

void XMLOutput::literal const Literal lit  )  [private, virtual]
 

Print a literal in the XML syntax.

Since:
27/06/2003
Parameters:
lit the literal

Reimplemented from Output.

void XMLOutput::pretty const Refutation ref,
int  answerNumber
[virtual]
 

Pretty-print refutation in the XML format.

Since:
25/06/2003, Manchester.
Parameters:
ref the refutation.
answerNumber dummy argument.

Implements Output.

void XMLOutput::term const Term t  )  [private, virtual]
 

Print a term in the XML syntax.

Since:
27/06/2003
Parameters:
t the term

Reimplemented from Output.

void XMLOutput::terms const TermList ts  )  [private, virtual]
 

Print a list of terms in the XML syntax.

Since:
27/06/2003
Parameters:
ts the list

Reimplemented from Output.

void XMLOutput::var Var  v  )  [private, virtual]
 

Print a variable in the XML syntax.

Since:
27/06/2003
Parameters:
v the variable

Reimplemented from Output.


Member Data Documentation

int XMLOutput::_connectivePrintLength[] [static, private]
 


The documentation for this class was generated from the following files:
Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2