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

TPTPOutput Class Reference

#include <Output.hpp>

Inheritance diagram for TPTPOutput:

Output List of all members.

Public Member Functions

 TPTPOutput (ostream &)
void pretty (const Refutation &, int answerNumber)

Private Member Functions

void inference (const Unit &conclusion, int indent)
void clause (const Clause &)
void clause (const Clause &, int indent)
void formula (const Formula &)
void formula (const Formula &, int indent)

Constructor & Destructor Documentation

TPTPOutput::TPTPOutput ostream &   ) 
 


Member Function Documentation

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

Implements Output.

void TPTPOutput::clause const Clause  )  [private, virtual]
 

Implements Output.

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

Implements Output.

void TPTPOutput::formula const Formula  )  [private, virtual]
 

Reimplemented from Output.

void TPTPOutput::inference const Unit conclusion,
int  indent
[private, virtual]
 

Implements Output.

void TPTPOutput::pretty const Refutation ,
int  answerNumber
[virtual]
 

Implements Output.


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