symboltable.hh
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034 #ifndef __GECODE_FLATZINC_SYMBOLTABLE_HH__
00035 #define __GECODE_FLATZINC_SYMBOLTABLE_HH__
00036
00037 #include <vector>
00038
00039 #ifdef GECODE_HAS_UNORDERED_MAP
00040 #include <unordered_map>
00041 #elif defined(GECODE_HAS_GNU_HASH_MAP)
00042 #include <ext/hash_map>
00043 #else
00044 #include <map>
00045 #endif
00046
00047 namespace Gecode { namespace FlatZinc {
00048
00050 template<class Val>
00051 class SymbolTable {
00052 private:
00053 #ifdef GECODE_HAS_UNORDERED_MAP
00054 typedef std::unordered_map<std::string,Val> mymap;
00055 #elif defined(GECODE_HAS_GNU_HASH_MAP)
00056 class hashString {
00057 public:
00058 size_t operator ()(const std::string& x) const {
00059 return __gnu_cxx::hash<const char*>()(x.c_str());
00060 }
00061 };
00062 typedef __gnu_cxx::hash_map<std::string,Val,hashString> mymap;
00063 #else
00064 typedef std::map<std::string,Val> mymap;
00065 #endif
00066 mymap m;
00067 public:
00069 bool put(const std::string& key, const Val& val);
00071 bool get(const std::string& key, Val& val) const;
00072 };
00073
00074 template<class Val>
00075 bool
00076 SymbolTable<Val>::put(const std::string& key, const Val& val) {
00077 typename mymap::const_iterator i = m.find(key);
00078 bool fresh = (i == m.end());
00079 m[key] = val;
00080 return fresh;
00081 }
00082
00083 template<class Val>
00084 bool
00085 SymbolTable<Val>::get(const std::string& key, Val& val) const {
00086 typename mymap::const_iterator i = m.find(key);
00087 if (i == m.end())
00088 return false;
00089 val = i->second;
00090 return true;
00091 }
00092
00093 }}
00094 #endif
00095
00096