#include <config.h>
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 |
Definition at line 9 of file config.h.
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.
Configuration::~Configuration | ( | ) |
Definition at line 145 of file config.cpp.
void Configuration::printOptionInfo | ( | ) | [static] |
Print options help message
Definition at line 16 of file config.cpp.
References printConsol().
Referenced by Configuration().
void Configuration::printConsol | ( | ) | [static] |
Print command help message
Definition at line 41 of file config.cpp.
Referenced by printOptionInfo().
Definition at line 21 of file config.h.
Referenced by Configuration(), Unification::debugDisplay(), SimpleSolution::display(), Display::displayResult(), Display::Foot(), Parser::genContstantValName(), Parser::genNumericalValName(), Display::Head(), Trivial::print(), Clash::print(), Hole::print(), Or::print(), And::printNoBracket(), Unification::run(), Display::texDi(), Display::texEndl(), Display::texHspace(), Unification::tryApplyR1(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
istream* Configuration::inputdatas |
Definition at line 24 of file config.h.
Referenced by Configuration(), Unification::run(), Unification::tryApplyR1(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
Definition at line 25 of file config.h.
Referenced by Solver::Graph::addVertex(), Configuration(), Solver::Graph::explo(), Solver::Graph::run(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().
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().