Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Renaming.hpp

Go to the documentation of this file.
00001 
00027 //
00028 //  file Renaming.hpp
00029 //  defines class Renaming
00030 //  completely changed using maps 02/10/2002, Manchester
00031 //
00032 
00033 #ifndef __renaming__
00034 #define __renaming__
00035 
00036 
00037 #include "Var.hpp"
00038 #include "Map.hpp"
00039 
00040 
00041 class Renaming
00042   : public Map<Var,Var>
00043 {
00044  public:
00045   void push (Var v1, Var v2);
00046   Var get (Var v1); // -1 if not found
00047 }; // class Renaming
00048 
00049 
00050 // ************** class Renaming, implementation ********************
00051 
00052 inline
00053 void Renaming::push (Var v1, Var v2)
00054 {
00055   insert (v1, v2);
00056 } // Renaming::push 
00057 
00058 
00059 inline
00060 Var Renaming::get (Var v)
00061 {
00062   Var result;
00063   if (find (v, result)) {
00064     return result;
00065   }
00066 
00067   return -1;
00068 } // Renaming::get
00069 
00070 
00071 #endif // __renaming__

Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2