CVC3::ExprManager::HashString Class Reference

Private class for hashing strings. More...

Collaboration diagram for CVC3::ExprManager::HashString:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Attributes


Detailed Description

Private class for hashing strings.

Definition at line 76 of file expr_manager.h.


Member Data Documentation

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

Definition at line 77 of file expr_manager.h.


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:14:51 2009 for CVC3 by  doxygen 1.5.2