ILAng-Doc/defines_8h_source.html

 #ifndef ILANG_ILA_DEFINES_H__

 #define ILANG_ILA_DEFINES_H__


 #include <memory>

 #include <vector>


 #include <z3++.h>


 #include <ilang/ila/symbol.h>

 #include <ilang/util/container.h>


 namespace ilang {


 typedef std::vector<z3::expr> Z3ExprVec;

 typedef std::shared_ptr<Z3ExprVec> Z3ExprVecPtr;

 typedef KeyVec<Symbol, z3::expr> Z3ExprMap;

 typedef std::shared_ptr<Z3ExprMap> Z3ExprMapPtr;


 } // namespace ilang


 #endif // ILANG_ILA_DEFINES_H__

ilang::Z3ExprMap
KeyVec< Symbol, z3::expr > Z3ExprMap
Map type for z3 expression.
Definition: defines.h:23

symbol.h

ilang::KeyVec
The container that support key search and index access.
Definition: container.h:49

ilang::Z3ExprVecPtr
std::shared_ptr< Z3ExprVec > Z3ExprVecPtr
Pointer for the z3 expression vector.
Definition: defines.h:21

ilang::Z3ExprVec
std::vector< z3::expr > Z3ExprVec
Vector type for z3 expression.
Definition: defines.h:19

ilang::Z3ExprMapPtr
std::shared_ptr< Z3ExprMap > Z3ExprMapPtr
Pointer for the z3 expression map.
Definition: defines.h:25

container.h