libTriton  version 1.0 build 1530
Public Member Functions | Public Attributes | Protected Attributes | List of all members
triton::ast::TritonToZ3 Class Reference

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

#include <tritonToZ3.hpp>

Public Member Functions

TRITON_EXPORT TritonToZ3 (bool eval=true)
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 tritonToZ3.hpp.

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