ilang  0.9.1
ILAng: A Modeling and Verification Platform for SoCs
Public Types | Public Member Functions | List of all members
ilang::Z3ExprAdapter Class Reference

The class for generating z3 expression from an ILA. More...

#include <z3_expr_adapter.h>

Public Types

typedef std::unordered_map< const ExprPtr, z3::expr, Z3AdapterHashExprMap
 Type for caching the generated expressions.
 

Public Member Functions

 Z3ExprAdapter (z3::context &ctx)
 Constructor.
 
 ~Z3ExprAdapter ()
 ~Default destructor.
 
z3::expr GetExpr (const ExprPtr expr, const std::string &suffix="")
 Get the z3 expression of the AST node.
 
void operator() (const ExprPtr expr)
 Function object for getting z3 expression.
 

Detailed Description

The class for generating z3 expression from an ILA.


The documentation for this class was generated from the following file: