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

Output Class Reference

#include <Output.hpp>

Inheritance diagram for Output:

KIFOutput LaTeXOutput NativeOutput TPTPOutput XMLOutput List of all members.

Public Member Functions

 Output (OutputSyntax syntax, ostream &str)
virtual void pretty (const Refutation &, int answerNumber)=0
virtual void formula (const Formula &)

Static Public Member Functions

Outputcreate (OutputSyntax, ostream &)

Protected Member Functions

virtual void symbol (const Signature::Symbol *)
void refutation (const Unit &goal, int indent, Map &map)
void refutations (const UnitList &goal, int indent, Map &map)
virtual void inference (const Unit &conclusion, int indent)=0
virtual void connective (Formula::Connective)
virtual void var (Var v)
virtual void term (const Term &)
virtual void terms (const TermList &)
virtual void atom (const Atom &)
virtual void literal (const Literal &)
virtual void clause (const Clause &)=0
virtual void clause (const Clause &, int indent)=0
virtual void formula (const Formula &, int indent)=0
void subformula (const Formula &, int indent, Formula::Connective outer)
void subformula (const Formula &, Formula::Connective outer)
void content (const Unit &unit)
virtual void content (const Unit &unit, int indent)
bool fitsInOneLine (const Formula &) const
void vars (const VarList &)
virtual void spaces (int times)
void repeat (char character, int times)

Static Protected Member Functions

bool fitsInOneLine (const Formula &, int &limit)
bool parenthesesRequired (Formula::Connective inner, Formula::Connective outer)

Protected Attributes

OutputSyntax _syntax
ostream & _stream

Static Protected Attributes

int _oneLineLengthLimit [LATEX+1]

Detailed Description

Base class for various output classes.


Constructor & Destructor Documentation

Output::Output OutputSyntax  syntax,
ostream &  str
 


Member Function Documentation

void Output::atom const Atom  )  [protected, virtual]
 

Reimplemented in KIFOutput, and XMLOutput.

virtual void Output::clause const Clause ,
int  indent
[protected, pure virtual]
 

Implemented in NativeOutput, TPTPOutput, KIFOutput, XMLOutput, and LaTeXOutput.

virtual void Output::clause const Clause  )  [protected, pure virtual]
 

Implemented in NativeOutput, TPTPOutput, KIFOutput, XMLOutput, and LaTeXOutput.

void Output::connective Formula::Connective   )  [protected, virtual]
 

Reimplemented in NativeOutput, KIFOutput, XMLOutput, and LaTeXOutput.

void Output::content const Unit unit,
int  indent
[protected, virtual]
 

Reimplemented in KIFOutput, and XMLOutput.

void Output::content const Unit unit  )  [protected]
 

Output * Output::create OutputSyntax  syntax,
ostream &  str
[static]
 

Create and return a new Output class, depending on the syntax.

Since:
05/10/2002 Manchester.

25/06/2003 Manchester, XML case added.

bool Output::fitsInOneLine const Formula ,
int &  limit
[static, protected]
 

bool Output::fitsInOneLine const Formula  )  const [protected]
 

virtual void Output::formula const Formula ,
int  indent
[protected, pure virtual]
 

Implemented in NativeOutput, TPTPOutput, KIFOutput, XMLOutput, and LaTeXOutput.

void Output::formula const Formula  )  [virtual]
 

Reimplemented in NativeOutput, TPTPOutput, KIFOutput, XMLOutput, and LaTeXOutput.

virtual void Output::inference const Unit conclusion,
int  indent
[protected, pure virtual]
 

Implemented in NativeOutput, TPTPOutput, KIFOutput, XMLOutput, and LaTeXOutput.

void Output::literal const Literal  )  [protected, virtual]
 

Reimplemented in KIFOutput, and XMLOutput.

bool Output::parenthesesRequired Formula::Connective  inner,
Formula::Connective  outer
[static, protected]
 

virtual void Output::pretty const Refutation ,
int  answerNumber
[pure virtual]
 

Implemented in NativeOutput, TPTPOutput, KIFOutput, XMLOutput, and LaTeXOutput.

void Output::refutation const Unit goal,
int  indent,
Map map
[protected]
 

void Output::refutations const UnitList goal,
int  indent,
Map map
[protected]
 

void Output::repeat char  character,
int  times
[protected]
 

void Output::spaces int  times  )  [protected, virtual]
 

Reimplemented in LaTeXOutput.

void Output::subformula const Formula ,
Formula::Connective  outer
[protected]
 

void Output::subformula const Formula ,
int  indent,
Formula::Connective  outer
[protected]
 

void Output::symbol const Signature::Symbol  )  [protected, virtual]
 

Reimplemented in LaTeXOutput.

void Output::term const Term  )  [protected, virtual]
 

Reimplemented in KIFOutput, and XMLOutput.

void Output::terms const TermList  )  [protected, virtual]
 

Reimplemented in KIFOutput, and XMLOutput.

void Output::var Var  v  )  [protected, virtual]
 

Reimplemented in KIFOutput, XMLOutput, and LaTeXOutput.

void Output::vars const VarList  )  [protected]
 


Member Data Documentation

int Output::_oneLineLengthLimit [static, protected]
 

Initial value:

 {5,  
                                             5,  
                                             3,  
                                             10}

ostream& Output::_stream [protected]
 

OutputSyntax Output::_syntax [protected]
 


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