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
00035
00036
00037
00038 #ifndef __GECODE_FLATZINC_SYMBOLTABLE_HH__
00039 #define __GECODE_FLATZINC_SYMBOLTABLE_HH__
00040
00041 #include <vector>
00042
00043 #ifdef GECODE_HAS_UNORDERED_MAP
00044 #include <unordered_map>
00045 #elif defined(GECODE_HAS_GNU_HASH_MAP)
00046 #include <ext/hash_map>
00047 #else
00048 #include <map>
00049 #endif
00050
00051 namespace Gecode { namespace FlatZinc {
00052
00054 template<class Val>
00055 class SymbolTable {
00056 private:
00057 #ifdef GECODE_HAS_UNORDERED_MAP
00058 typedef std::unordered_map<std::string,Val> mymap;
00059 #elif defined(GECODE_HAS_GNU_HASH_MAP)
00060 class hashString {
00061 public:
00062 size_t operator ()(const std::string& x) const {
00063 return __gnu_cxx::hash<const char*>()(x.c_str());
00064 }
00065 };
00066 typedef __gnu_cxx::hash_map<std::string,Val,hashString> mymap;
00067 #else
00068 typedef std::map<std::string,Val> mymap;
00069 #endif
00070 mymap m;
00071 public:
00073 bool put(const std::string& key, const Val& val);
00075 bool get(const std::string& key, Val& val) const;
00076 };
00077
00078 template<class Val>
00079 bool
00080 SymbolTable<Val>::put(const std::string& key, const Val& val) {
00081 typename mymap::const_iterator i = m.find(key);
00082 bool fresh = (i == m.end());
00083 m[key] = val;
00084 return fresh;
00085 }
00086
00087 template<class Val>
00088 bool
00089 SymbolTable<Val>::get(const std::string& key, Val& val) const {
00090 typename mymap::const_iterator i = m.find(key);
00091 if (i == m.end())
00092 return false;
00093 val = i->second;
00094 return true;
00095 }
00096
00097 }}
00098 #endif
00099
00100