CVC3::ExprManager::ExprManager::HashString Class Reference

Private class for hashing strings. More...

Collaboration diagram for CVC3::ExprManager::ExprManager::HashString:

[legend]

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.

Definition at line 76 of file expr_manager.h.

---

Member Data Documentation

std::hash<char*> CVC3::ExprManager::ExprManager::HashString::h [private]

Definition at line 77 of file expr_manager.h.

---

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

• expr_manager.h