Hash::hash< CVC3::Expr > Struct Template Reference

#include <expr_hash.h>

Collaboration diagram for Hash::hash< CVC3::Expr >:

Public Member Functions
size_t	operator() (const CVC3::Expr &e) const

Detailed Description

template<>
struct Hash::hash< CVC3::Expr >

Definition at line 35 of file expr_hash.h.

Member Function Documentation

size_t Hash::hash< CVC3::Expr >::operator() ( const CVC3::Expr &  e ) const

inline

Definition at line 37 of file expr_hash.h.

References CVC3::Expr::hash().

---

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

• expr_hash.h