libTriton  version 1.0 build 1532
Public Member Functions | List of all members
triton::engines::synthesis::Synthesizer Class Reference

The Synthesizer engine class. More...

#include <synthesizer.hpp>

Public Member Functions

TRITON_EXPORT Synthesizer (triton::engines::symbolic::SymbolicEngine *symbolic)
 Constructor. More...
 
TRITON_EXPORT SynthesisResult synthesize (const triton::ast::SharedAbstractNode &node, bool constant=true, bool subexpr=true, bool opaque=false)
 Synthesizes a given node. If constant is true, perform a constant synthesis. If opaque is true, perform opaque constant synthesis. If subexpr is true, analyze children AST. More...
 

Detailed Description

The Synthesizer engine class.

Definition at line 67 of file synthesizer.hpp.

Constructor & Destructor Documentation

◆ Synthesizer()

triton::engines::synthesis::Synthesizer::Synthesizer ( triton::engines::symbolic::SymbolicEngine symbolic)

Constructor.

Definition at line 25 of file synthesizer.cpp.

Member Function Documentation

◆ synthesize()

SynthesisResult triton::engines::synthesis::Synthesizer::synthesize ( const triton::ast::SharedAbstractNode node,
bool  constant = true,
bool  subexpr = true,
bool  opaque = false 
)

Synthesizes a given node. If constant is true, perform a constant synthesis. If opaque is true, perform opaque constant synthesis. If subexpr is true, analyze children AST.

Substitute all sub expressions

Definition at line 33 of file synthesizer.cpp.


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