triton::engines::lifters::LiftingToSMT Class Reference

The lifting to SMT class. More...

#include <liftingToSMT.hpp>

Inheritance diagram for triton::engines::lifters::LiftingToSMT:

Public Member Functions
TRITON_EXPORT	LiftingToSMT (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic)
	Constructor.
TRITON_EXPORT std::ostream &	liftToSMT (std::ostream &stream, const triton::engines::symbolic::SharedSymbolicExpression &expr, bool assert_=false, bool icomment=false)
	Lifts a symbolic expression and all its references to SMT format. If assert_ is true, then (assert <expr>). If icomment is true, then print instructions assembly in expression comments.

Detailed Description

The lifting to SMT class.

Definition at line 45 of file liftingToSMT.hpp.

Constructor & Destructor Documentation

LiftingToSMT()

triton::engines::lifters::LiftingToSMT::LiftingToSMT	(	const triton::ast::SharedAstContext &	astCtxt,
		triton::engines::symbolic::SymbolicEngine *	symbolic )

Constructor.

Definition at line 22 of file liftingToSMT.cpp.

Member Function Documentation

liftToSMT()

std::ostream & triton::engines::lifters::LiftingToSMT::liftToSMT	(	std::ostream &	stream,
		const triton::engines::symbolic::SharedSymbolicExpression &	expr,
		bool	assert_ = false,
		bool	icomment = false )

Lifts a symbolic expression and all its references to SMT format. If assert_ is true, then (assert <expr>). If icomment is true, then print instructions assembly in expression comments.

Definition at line 117 of file liftingToSMT.cpp.

---

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

• /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/liftingToSMT.hpp
• /Users/jonathan/Works/Tools/Triton/src/libtriton/engines/lifters/liftingToSMT.cpp