triton::ast::Z3ToTriton Class Reference

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

#include <z3ToTriton.hpp>

Public Member Functions
TRITON_EXPORT	Z3ToTriton (const triton::ast::SharedAstContext &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 36 of file z3ToTriton.hpp.

Constructor & Destructor Documentation

Z3ToTriton()

triton::ast::Z3ToTriton::Z3ToTriton

(

const triton::ast::SharedAstContext &

ctxt

)

Constructor.

Definition at line 19 of file z3ToTriton.cpp.

Member Function Documentation

convert()

SharedAbstractNode triton::ast::Z3ToTriton::convert

(

const z3::expr &

expr

)

Converts to Triton's AST.

Definition at line 24 of file z3ToTriton.cpp.

---

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

• /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/z3ToTriton.hpp
• /Users/jonathan/Works/Tools/Triton/src/libtriton/ast/z3/z3ToTriton.cpp