z3_expr_adapter.h File Reference

#include <unordered_map>
#include <z3++.h>
#include <ilang/ila/ast_hub.h>

Go to the source code of this file.

Classes
class	ilang::Z3ExprAdapter
	The class for generating z3 expression from an ILA. More...

Namespaces
	ilang

Typedefs
typedef ExprHash	ilang::Z3AdapterHash
	The function object for hashing Expr in generating z3 expression.

Detailed Description

Class Z3ExprAdapter - the generator for ilang::Expr to z3::expr