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

Public Attributes
std::unordered_map< std::string, triton::ast::SharedAbstractNode >	symbols
	The map of symbols. E.g: (let (symbols expr1) expr2)
std::unordered_map< std::string, triton::engines::symbolic::SharedSymbolicVariable >	variables
	The set of symbolic variables contained in the expression.

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 tritonToZ3.hpp.

---

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

• /home/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/tritonToZ3.hpp
• /home/jonathan/Works/Tools/Triton/src/libtriton/ast/z3/tritonToZ3.cpp