CVC3::Translator::HashString Class Reference

Collaboration diagram for CVC3::Translator::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; copied from ExprManager

Definition at line 73 of file translator.h.

Member Function Documentation

size_t CVC3::Translator::HashString::operator() ( const std::string &  s ) const

inline

Definition at line 76 of file translator.h.

References h.

Member Data Documentation

std::hash<char*> CVC3::Translator::HashString::h

private

Definition at line 74 of file translator.h.

Referenced by operator()().

---

The documentation for this class was generated from the following file:

• translator.h