/Users/snippy/unfication/src/display.cpp File Reference

#include "display.h"
#include "exception.h"
#include <iostream>

Include dependency graph for display.cpp:

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)


Function Documentation

std::ostream& operator<< ( std::ostream &  o,
const list< unsigned int > &  path 
)

Print a list of uint

Definition at line 204 of file display.cpp.


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