Configuration Class Reference

#include <config.h>

List of all members.

Public Types

enum  Write_Mode { NORMAL, LATEX, XML, HTML }

Public Member Functions

 Configuration (int argc, char *argv[])
 ~Configuration ()

Static Public Member Functions

static void printOptionInfo ()
static void printConsol ()

Public Attributes

Write_Mode writeMode
istream * inputdatas
bool pauseEveryStep
bool printRule
bool NcanbeZero
bool fileInput
bool presBurgerVerif
bool disjonction
int beep


Detailed Description

Definition at line 9 of file config.h.


Member Enumeration Documentation

Enumerator:
NORMAL 
LATEX 
XML 
HTML 

Definition at line 13 of file config.h.


Constructor & Destructor Documentation

Configuration::Configuration ( int  argc,
char *  argv[] 
)

Parse configuration from options

Definition at line 63 of file config.cpp.

References beep, disjonction, fileInput, inputdatas, LATEX, mycout, NcanbeZero, NORMAL, pauseEveryStep, presBurgerVerif, printOptionInfo(), printRule, and writeMode.

Here is the call graph for this function:

Configuration::~Configuration (  ) 

Definition at line 145 of file config.cpp.


Member Function Documentation

void Configuration::printOptionInfo (  )  [static]

Print options help message

Definition at line 16 of file config.cpp.

References printConsol().

Referenced by Configuration().

Here is the call graph for this function:

void Configuration::printConsol (  )  [static]

Print command help message

Definition at line 41 of file config.cpp.

Referenced by printOptionInfo().


Member Data Documentation

Definition at line 22 of file config.h.

Referenced by Configuration(), and Parser::Parser().

Definition at line 23 of file config.h.

Referenced by Configuration(), and Unification::run().

Definition at line 26 of file config.h.

Referenced by Configuration().

Definition at line 27 of file config.h.

Referenced by Unification::checkDefinition(), and Configuration().

Definition at line 28 of file config.h.

Referenced by Configuration(), Display::displayResult(), and Unification::run().

Definition at line 29 of file config.h.

Referenced by Configuration(), Display::displayResult(), and Unification::run().


The documentation for this class was generated from the following files:

Generated on Thu Jun 19 19:14:31 2008 for unification by  doxygen 1.5.6