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

#include "unification.h"

Include dependency graph for display.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  Display

Functions

void Display::displayResult (Unification *unification)
void Display::displayTime (long atime)
void Display::Head (Configuration *config)
void Display::Foot (Configuration *config)
void Display::texEndl (std::ostream &s)
void Display::texHspace (std::ostream &s)
void Display::texDi (std::ostream &s)
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