libTriton  version 1.0 build 1532
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)
 Constructor. More...
 
TRITON_EXPORT ~TritonToZ3 ()
 Destructor. More...
 
TRITON_EXPORT z3::expr convert (const triton::ast::SharedAbstractNode &node)
 Converts to Z3's AST. More...
 

Public Attributes

std::unordered_map< std::string, triton::ast::SharedAbstractNodesymbols
 The map of symbols. E.g: (let (symbols expr1) expr2) More...
 
std::unordered_map< std::string, triton::engines::symbolic::SharedSymbolicVariablevariables
 The set of symbolic variables contained in the expression. More...
 

Protected Attributes

z3::context context
 The z3's context. More...
 

Detailed Description

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

Definition at line 37 of file tritonToZ3.hpp.

Constructor & Destructor Documentation

◆ TritonToZ3()

triton::ast::TritonToZ3::TritonToZ3 ( bool  eval = true)

Constructor.

Definition at line 22 of file tritonToZ3.cpp.

◆ ~TritonToZ3()

triton::ast::TritonToZ3::~TritonToZ3 ( )

Destructor.

Definition at line 28 of file tritonToZ3.cpp.

Member Function Documentation

◆ convert()

z3::expr triton::ast::TritonToZ3::convert ( const triton::ast::SharedAbstractNode node)

Converts to Z3's AST.

Definition at line 40 of file tritonToZ3.cpp.

Member Data Documentation

◆ context

z3::context triton::ast::TritonToZ3::context
protected

The z3's context.

Definition at line 50 of file tritonToZ3.hpp.

◆ symbols

std::unordered_map<std::string, triton::ast::SharedAbstractNode> triton::ast::TritonToZ3::symbols

The map of symbols. E.g: (let (symbols expr1) expr2)

Definition at line 54 of file tritonToZ3.hpp.

◆ variables

std::unordered_map<std::string, triton::engines::symbolic::SharedSymbolicVariable> triton::ast::TritonToZ3::variables

The set of symbolic variables contained in the expression.

Definition at line 57 of file tritonToZ3.hpp.


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