libTriton  version 0.9 build 1502
Public Member Functions | List of all members
triton::engines::symbolic::SymbolicSimplification Class Reference

The symbolic simplification class. More...

#include <symbolicSimplification.hpp>

Inheritance diagram for triton::engines::symbolic::SymbolicSimplification:

Public Member Functions

TRITON_EXPORT SymbolicSimplification (triton::callbacks::Callbacks *callbacks=nullptr)
 Constructor.
 
TRITON_EXPORT SymbolicSimplification (const SymbolicSimplification &other)
 Constructor.
 
TRITON_EXPORT triton::ast::SharedAbstractNode processSimplification (const triton::ast::SharedAbstractNode &node) const
 Processes all recorded simplifications. Returns the simplified node.
 
TRITON_EXPORT SymbolicSimplificationoperator= (const SymbolicSimplification &other)
 Copies a SymbolicSimplification.
 

Detailed Description

The symbolic simplification class.

Definition at line 42 of file symbolicSimplification.hpp.


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