libTriton  version 1.0 build 1532
Public Member Functions | List of all members
triton::engines::lifters::LiftingEngine Class Reference

The lifting engine class. More...

#include <liftingEngine.hpp>

Inheritance diagram for triton::engines::lifters::LiftingEngine:

Public Member Functions

TRITON_EXPORT LiftingEngine (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic)
 Constructor. More...
 
- Public Member Functions inherited from triton::engines::lifters::LiftingToSMT
TRITON_EXPORT LiftingToSMT (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic)
 Constructor. More...
 
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. More...
 
- Public Member Functions inherited from triton::engines::lifters::LiftingToDot
TRITON_EXPORT LiftingToDot (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic)
 Constructor. More...
 
TRITON_EXPORT std::ostream & liftToDot (std::ostream &stream, const triton::ast::SharedAbstractNode &node)
 Lifts an AST and all its references to Dot format. More...
 
TRITON_EXPORT std::ostream & liftToDot (std::ostream &stream, const triton::engines::symbolic::SharedSymbolicExpression &expr)
 Lifts a symbolic expressions and all its references to Dot format. More...
 
- Public Member Functions inherited from triton::engines::lifters::LiftingToPython
TRITON_EXPORT LiftingToPython (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic)
 Constructor. More...
 
TRITON_EXPORT std::ostream & liftToPython (std::ostream &stream, const triton::engines::symbolic::SharedSymbolicExpression &expr, bool icomment=false)
 Lifts a symbolic expression and all its references to Python format. If icomment is true, then print instructions assembly in expression comments. More...
 

Detailed Description

The lifting engine class.

Definition at line 51 of file liftingEngine.hpp.

Constructor & Destructor Documentation

◆ LiftingEngine()

TRITON_EXPORT triton::engines::lifters::LiftingEngine::LiftingEngine ( const triton::ast::SharedAstContext astCtxt,
triton::engines::symbolic::SymbolicEngine symbolic 
)
inline

Constructor.

Definition at line 61 of file liftingEngine.hpp.


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