libTriton  version 0.6 build 1389
Public Member Functions | List of all members
triton::ast::Z3ToTritonAst Class Reference

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

#include <z3ToTritonAst.hpp>

Public Member Functions

TRITON_EXPORT Z3ToTritonAst (triton::engines::symbolic::SymbolicEngine *symbolicEngine, triton::ast::AstContext &ctxt)
 Constructor.
 
TRITON_EXPORT triton::ast::SharedAbstractNode convert (const z3::expr &expr)
 Converts to Triton's AST.
 

Detailed Description

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

Definition at line 37 of file z3ToTritonAst.hpp.


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