Functions | |
void | texEndl (std::ostream &s) |
void | texDi (std::ostream &s) |
void | texHspace (std::ostream &s) |
void | Head (Configuration *config) |
void | Foot (Configuration *config) |
void | displayResult (Unification *unification) |
void | displayTime (long atime) |
void | beep (int frec, int time) |
void Display::beep | ( | int | frec, | |
int | time | |||
) |
void Display::displayResult | ( | Unification * | unification | ) |
Print the result of the unification (and play sound if needed)
Definition at line 78 of file display.cpp.
References beep(), Configuration::beep, Unification::configuration, Configuration::disjonction, Configuration::LATEX, mycout, Unification::result, Unification::solutions, texDi(), texEndl(), and Configuration::writeMode.
Referenced by main().
void Display::displayTime | ( | long | atime | ) |
void Display::Foot | ( | Configuration * | config | ) |
Print the foot of the latex
Definition at line 67 of file display.cpp.
References Configuration::LATEX, and Configuration::writeMode.
Referenced by main().
void Display::Head | ( | Configuration * | config | ) |
Print the head of the latex
Definition at line 47 of file display.cpp.
References Configuration::LATEX, and Configuration::writeMode.
Referenced by main().
void Display::texDi | ( | std::ostream & | s | ) |
Print a # in latex syntax
s | output stream |
Definition at line 28 of file display.cpp.
References globconfig, Configuration::NORMAL, and Configuration::writeMode.
Referenced by displayResult(), and Unification::run().
void Display::texEndl | ( | std::ostream & | s | ) |
Print a new line in latex syntax
s | output stream |
Definition at line 18 of file display.cpp.
References globconfig, Configuration::LATEX, and Configuration::writeMode.
Referenced by displayResult(), Unification::run(), and Unification::tryApplyR1().
void Display::texHspace | ( | std::ostream & | s | ) |
Print a 20 pt space in latex syntax
s | output stream |
Definition at line 38 of file display.cpp.
References globconfig, Configuration::LATEX, and Configuration::writeMode.
Referenced by Unification::tryApplyR1(), Unification::tryApplyR2(), Unification::tryApplyR3(), Unification::tryApplyR4(), and Unification::tryApplyR5().