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

LaTeXOutput Class Reference

#include <Output.hpp>

Inheritance diagram for LaTeXOutput:

Output List of all members.

Public Member Functions

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

Private Member Functions

void symbol (const Signature::Symbol *)
void inference (const Unit &conclusion, int indent)
void clause (const Clause &)
void literals (const LiteralList &lits)
void literals (const LiteralList &lits, int indent)
void clause (const Clause &, int indent)
void formula (const Formula &, int indent)
void formula (const Formula &)
void connective (Formula::Connective)
void var (Var v)
void spaces (int times)

Constructor & Destructor Documentation

LaTeXOutput::LaTeXOutput ostream &   ) 
 


Member Function Documentation

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

Implements Output.

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

Implements Output.

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

Reimplemented from Output.

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

Reimplemented from Output.

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

Implements Output.

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

Implements Output.

void LaTeXOutput::literals const LiteralList lits,
int  indent
[private]
 

void LaTeXOutput::literals const LiteralList lits  )  [private]
 

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

Implements Output.

void LaTeXOutput::spaces int  times  )  [private, virtual]
 

Reimplemented from Output.

void LaTeXOutput::symbol const Signature::Symbol  )  [private, virtual]
 

Reimplemented from Output.

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

Reimplemented from 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