CVC3::Debug::stringHash Class Reference

Private hasher class for strings. More...

List of all members.

Public Member Functions

• size_t operator() (const std::string &s) const

---

Detailed Description

Private hasher class for strings.

Definition at line 313 of file debug.h.

---

Member Function Documentation

size_t CVC3::Debug::stringHash::operator()

(

const std::string &

s

)

const [inline]

Definition at line 315 of file debug.h.

---

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

• debug.h

---