defines.h File Reference

#include <memory>
#include <vector>
#include <z3++.h>
#include <ilang/ila/symbol.h>
#include <ilang/util/container.h>

Go to the source code of this file.

Namespaces
	ilang

Typedefs
typedef std::vector< z3::expr >	ilang::Z3ExprVec
	Vector type for z3 expression.
typedef std::shared_ptr < Z3ExprVec >	ilang::Z3ExprVecPtr
	Pointer for the z3 expression vector.
typedef KeyVec< Symbol, z3::expr >	ilang::Z3ExprMap
	Map type for z3 expression.
typedef std::shared_ptr < Z3ExprMap >	ilang::Z3ExprMapPtr
	Pointer for the z3 expression map.

Detailed Description

Headers for macros, type definitions, etc.