libTriton  version 0.6 build 1389
Public Member Functions | 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 (triton::engines::symbolic::SymbolicEngine *symbolicEngine, bool eval=true)
 Constructor.
 
TRITON_EXPORT z3::expr convert (const triton::ast::SharedAbstractNode &node)
 Converts to Z3's AST.
 

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: