CVC3  2.4.1
Public Member Functions | Private Attributes
CVC3::Translator::HashString Class Reference

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: