libTriton version 1.0 build 1588
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. 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...
 

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: