libTriton version 1.0 build 1592
Loading...
Searching...
No Matches
Public Member Functions | List of all members
triton::engines::lifters::LiftingToDot Class Reference

The lifting to Dot class. More...

#include <liftingToDot.hpp>

Inheritance diagram for triton::engines::lifters::LiftingToDot:

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.
 

Detailed Description

The lifting to Dot class.

Definition at line 49 of file liftingToDot.hpp.

Constructor & Destructor Documentation

◆ LiftingToDot()

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

Constructor.

Definition at line 22 of file liftingToDot.cpp.

Member Function Documentation

◆ liftToDot() [1/2]

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.

◆ liftToDot() [2/2]

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.


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