#include "display.h"
#include "exception.h"
#include <iostream>
Go to the source code of this file.
Namespaces | |
namespace | Display |
Functions | |
void | Display::texEndl (std::ostream &s) |
void | Display::texDi (std::ostream &s) |
void | Display::texHspace (std::ostream &s) |
void | Display::Head (Configuration *config) |
void | Display::Foot (Configuration *config) |
void | Display::displayResult (Unification *unification) |
void | Display::displayTime (long atime) |
void | Display::beep (int frec, int time) |
std::ostream & | operator<< (std::ostream &o, const list< unsigned int > &path) |
std::ostream& operator<< | ( | std::ostream & | o, | |
const list< unsigned int > & | path | |||
) |
Print a list of uint
Definition at line 204 of file display.cpp.