libTriton  version 1.0 build 1558
Public Member Functions | List of all members
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. More...
 
TRITON_EXPORT triton::ast::SharedAbstractNode convert (const z3::expr &expr)
 Converts to Triton's AST. More...
 

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: