Display Namespace Reference


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)


Function Documentation

void Display::beep ( int  frec,
int  time 
)

Definition at line 184 of file display.cpp.

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

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().

Here is the call graph for this function:

void Display::displayTime ( long  atime  ) 

Print the duration

Definition at line 158 of file display.cpp.

Referenced by Unification::run().

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

Parameters:
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

Parameters:
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

Parameters:
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().


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