CVC3
|
Private class for hashing strings. More...
Public Member Functions | |
size_t | operator() (const std::string &s) const |
Private Attributes | |
std::hash< char * > | h |
Private class for hashing strings.
Definition at line 76 of file expr_manager.h.