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

NativeOutput Class Reference

#include <Output.hpp>

Inheritance diagram for NativeOutput:

Output List of all members.

Public Member Functions

 NativeOutput (ostream &)
void pretty (const Refutation &, int answerNumber)
void inference (const Unit &conclusion, int indent)
void clause (const Clause &)
void clause (const Clause &, int indent)
void formula (const Formula &, int indent)
void formula (const Formula &)
virtual void connective (Formula::Connective)

Constructor & Destructor Documentation

NativeOutput::NativeOutput ostream &   ) 
 


Member Function Documentation

void NativeOutput::clause const Clause ,
int  indent
[virtual]
 

Implements Output.

void NativeOutput::clause const Clause  )  [virtual]
 

Implements Output.

void NativeOutput::connective Formula::Connective   )  [virtual]
 

Reimplemented from Output.

void NativeOutput::formula const Formula  )  [virtual]
 

Reimplemented from Output.

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

Pretty-print the formula in the native syntax.

Since:
11/10/2002, flight Manchester-Istambul
Parameters:
f the formula
indent indentation

Implements Output.

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

Implements Output.

void NativeOutput::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