libTriton  version 0.7 build 1407
Public Member Functions | Public Attributes | Protected Attributes | List of all members
triton::ast::TritonToZ3Ast Class Reference

Converts a Triton's AST to Z3's AST. More...

#include <tritonToZ3Ast.hpp>

Public Member Functions

TRITON_EXPORT TritonToZ3Ast (bool eval=true)
 Constructor.
 
TRITON_EXPORT z3::expr convert (const triton::ast::SharedAbstractNode &node)
 Converts to Z3's AST.
 

Public Attributes

std::unordered_map< std::string, triton::ast::SharedAbstractNodesymbols
 The map of symbols. E.g: (let (symbols expr1) expr2)
 
std::unordered_map< std::string, triton::engines::symbolic::SharedSymbolicVariablevariables
 The set of symbolic variables contained in the expression.
 

Protected Attributes

z3::context context
 The z3's context.
 

Detailed Description

Converts a Triton's AST to Z3's AST.

Definition at line 37 of file tritonToZ3Ast.hpp.


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