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

KIFOutput Class Reference

#include <Output.hpp>

Inheritance diagram for KIFOutput:

Output List of all members.

Public Member Functions

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

Constructor & Destructor Documentation

KIFOutput::KIFOutput ostream &   ) 
 


Member Function Documentation

void KIFOutput::atom const Atom  )  [private, virtual]
 

Reimplemented from Output.

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

Implements Output.

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

Implements Output.

void KIFOutput::connective Formula::Connective   )  [private, virtual]
 

Reimplemented from Output.

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

Reimplemented from Output.

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

Implements Output.

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

Reimplemented from Output.

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

Implements Output.

void KIFOutput::literal const Literal  )  [private, virtual]
 

Reimplemented from Output.

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

Implements Output.

void KIFOutput::term const Term  )  [private, virtual]
 

Reimplemented from Output.

void KIFOutput::terms const TermList  )  [private, virtual]
 

Reimplemented from Output.

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

Reimplemented from Output.


Member Data Documentation

int KIFOutput::_connectivePrintLength [static, private]
 

Initial value:

    { 0, 3, 2, 2, 3, 0, 3, 6, 6}


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