CVC3::Translator::HashString Class Reference

Collaboration diagram for CVC3::Translator::HashString:

List of all members.

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