expr_hash.h File Reference

Definition of the API to expression package. See class Expr for details. More...

#include "hash_fun.h"
#include "expr.h"

Include dependency graph for expr_hash.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

• struct Hash::hash< CVC3::Expr >
• class Hash::hash< std::string >

Namespaces

• namespace Hash

---

Detailed Description

Definition of the API to expression package. See class Expr for details.

Author: Clark Barrett

Created: Tue Nov 26 00:27:40 2002

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Define std::hash<Expr> and std::hash<std::string> for hash_map and hash_set over Expr class.

Definition in file expr_hash.h.