CVC3
2.4.1
|
Public Member Functions | |
size_t | operator() (const std::string &s) const |
Private Attributes | |
std::hash< char * > | h |
Private class for hashing strings; copied from ExprManager
Definition at line 73 of file translator.h.
|
inline |
Definition at line 76 of file translator.h.
References h.
|
private |
Definition at line 74 of file translator.h.
Referenced by operator()().