libTriton version 1.0 build 1592
Loading...
Searching...
No Matches
Namespaces | Classes | Functions
triton::engines::synthesis Namespace Reference

The Synthesis namespace. More...

Namespaces

namespace  oracles
 The Synthesis namespace.
 

Classes

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

Functions

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

Detailed Description

The Synthesis namespace.