diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-25 20:20:29 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-25 20:20:29 +0000 |
commit | 56837b30117fda75298138cdd052e0c5ba201b86 (patch) | |
tree | b96d684f9926ea49c2b39e6193a8925f95d0287d /src/parser | |
parent | e3e0b625862ba23ba97eb72fcdd3811448ad855a (diff) |
Adding comments to NodeManager
Minor name changes for cleanup and hash function templates
Diffstat (limited to 'src/parser')
-rw-r--r-- | src/parser/symbol_table.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/symbol_table.h b/src/parser/symbol_table.h index 4ab2fb521..3bcc080bd 100644 --- a/src/parser/symbol_table.h +++ b/src/parser/symbol_table.h @@ -26,7 +26,7 @@ namespace CVC4 { namespace parser { -struct StringHashFcn { +struct StringHashFunction { size_t operator()(const std::string& str) const { return __gnu_cxx::hash<const char*>()(str.c_str()); } @@ -41,7 +41,7 @@ class SymbolTable { private: /** The name to expression bindings */ - typedef __gnu_cxx::hash_map<std::string, ObjectType, StringHashFcn> + typedef __gnu_cxx::hash_map<std::string, ObjectType, StringHashFunction> LookupTable; /** The table iterator */ |