24 #ifndef _cvc3__expr_h_
28 #ifndef _cvc3__include__expr_hash_h_
29 #define _cvc3__include__expr_hash_h_
Data structure of expressions in CVC3.
size_t operator()(const std::string &s) const
static size_t hash(const Expr &e)
Definition of the API to expression package. See class Expr for details.
size_t operator()(const CVC3::Expr &e) const