libTriton version 1.0 build 1592
Loading...
Searching...
No Matches
Topics | Namespaces | Classes | Functions
Synthesis
Collaboration diagram for Synthesis:

Topics

 Oracles
 

Namespaces

namespace  triton::engines::synthesis::oracles
 The Synthesis namespace.
 

Classes

class  triton::engines::synthesis::ConstantEntry
 Entry of the oracle table for constant synthesis. More...
 
class  triton::engines::synthesis::UnaryEntry
 Entry of the oracle table for unary operators synthesis. More...
 
class  triton::engines::synthesis::BinaryEntry
 Entry of the oracle table for binary operators synthesis. More...
 
class  triton::engines::synthesis::OpEncoding< N >
 This class is used to encode operators and variables ordering. More...
 
class  triton::engines::synthesis::SynthesisResult
 The SynthesisResult engine class. More...
 
class  triton::engines::synthesis::Synthesizer
 The Synthesizer engine class. More...
 

Functions

template<std::size_t N>
bool triton::engines::synthesis::operator< (const OpEncoding< N > &obj1, const OpEncoding< N > &obj2)
 Operator implementation in order to use OpEncoding as key in a std::map.
 

Detailed Description

Function Documentation

◆ operator<()

template<std::size_t N>
bool triton::engines::synthesis::operator< ( const OpEncoding< N > & obj1,
const OpEncoding< N > & obj2 )

Operator implementation in order to use OpEncoding as key in a std::map.

Definition at line 161 of file oracleEntry.hpp.