00001 #ifndef DISPLAY_H 00002 #define DISPLAY_H 00003 00004 #include "unification.h" 00005 00006 namespace Display 00007 { 00008 void displayResult(Unification *unification); 00009 void displayTime(long atime); 00010 void Head(Configuration *config); 00011 void Foot(Configuration *config); 00012 void texEndl(std::ostream& s); 00013 void texHspace(std::ostream& s); 00014 void texDi(std::ostream& s); 00015 void beep(int frec,int time); 00016 }; 00017 00018 std::ostream& operator << (std::ostream& o, const list<unsigned int> &path); 00019 00020 #endif 00021