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


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