libTriton version 1.0 build 1592
|
The lifting to Dot class. More...
#include <liftingToDot.hpp>
Public Member Functions | |
TRITON_EXPORT | LiftingToDot (const triton::ast::SharedAstContext &astCtxt, triton::engines::symbolic::SymbolicEngine *symbolic) |
Constructor. | |
TRITON_EXPORT std::ostream & | liftToDot (std::ostream &stream, const triton::ast::SharedAbstractNode &node) |
Lifts an AST and all its references to Dot format. | |
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. | |
The lifting to Dot class.
Definition at line 49 of file liftingToDot.hpp.
triton::engines::lifters::LiftingToDot::LiftingToDot | ( | const triton::ast::SharedAstContext & | astCtxt, |
triton::engines::symbolic::SymbolicEngine * | symbolic ) |
Constructor.
Definition at line 22 of file liftingToDot.cpp.
std::ostream & triton::engines::lifters::LiftingToDot::liftToDot | ( | std::ostream & | stream, |
const triton::ast::SharedAbstractNode & | node ) |
Lifts an AST and all its references to Dot format.
Definition at line 433 of file liftingToDot.cpp.
std::ostream & triton::engines::lifters::LiftingToDot::liftToDot | ( | std::ostream & | stream, |
const triton::engines::symbolic::SharedSymbolicExpression & | expr ) |
Lifts a symbolic expressions and all its references to Dot format.
Definition at line 28 of file liftingToDot.cpp.