Private class for hashing strings. More...
Collaboration diagram for CVC3::ExprManager::HashString:
Public Member Functions | |
| size_t | operator() (const std::string &s) const |
Private Attributes | |
| std::hash< char * > | h |
Detailed Description
Private class for hashing strings.
Definition at line 76 of file expr_manager.h.
The documentation for this class was generated from the following file:
