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

Tabulate Class Reference

#include <Tabulate.hpp>

List of all members.

Public Member Functions

 Tabulate ()
 ~Tabulate ()
void tabulate (const Options &options)
void tabulate (const Statistics &statistics)
void tabulate (const Refutation &refutation)
void result (char result)
void errorMessage (const char *errorQualifier, const char *msg)
bool exists () const

Private Member Functions

void openUnit (const char *predicate)
void closeUnit ()
void quotedAtom (const char *s)
void unary (const char *predicate, const char *arg)
void unary (const char *predicate, int arg)
void binary (const char *predicate, const char *arg1, const char *arg2)
void binary (const char *predicate, const char *arg1, float arg2)
void time (int hour, int min, int sec)
void date (int day, int month, int year)
void version (const char *field, const char *value)
void version (const char *field, float value)
void option (const char *field, const char *value)

Private Attributes

const Options_options
ostream * _str
int _number


Constructor & Destructor Documentation

Tabulate::Tabulate  )  [explicit]
 

Tabulate::~Tabulate  ) 
 


Member Function Documentation

void Tabulate::binary const char *  predicate,
const char *  arg1,
float  arg2
[private]
 

void Tabulate::binary const char *  predicate,
const char *  arg1,
const char *  arg2
[private]
 

void Tabulate::closeUnit  )  [private]
 

void Tabulate::date int  day,
int  month,
int  year
[private]
 

void Tabulate::errorMessage const char *  errorQualifier,
const char *  msg
 

bool Tabulate::exists  )  const [inline]
 

void Tabulate::openUnit const char *  predicate  )  [private]
 

void Tabulate::option const char *  field,
const char *  value
[private]
 

void Tabulate::quotedAtom const char *  s  )  [private]
 

void Tabulate::result char  result  ) 
 

void Tabulate::tabulate const Refutation refutation  ) 
 

void Tabulate::tabulate const Statistics statistics  ) 
 

void Tabulate::tabulate const Options options  ) 
 

void Tabulate::time int  hour,
int  min,
int  sec
[private]
 

void Tabulate::unary const char *  predicate,
int  arg
[private]
 

void Tabulate::unary const char *  predicate,
const char *  arg
[private]
 

void Tabulate::version const char *  field,
float  value
[private]
 

void Tabulate::version const char *  field,
const char *  value
[private]
 


Member Data Documentation

int Tabulate::_number [private]
 

const Options* Tabulate::_options [private]
 

ostream* Tabulate::_str [private]
 


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