libTriton  version 1.0 build 1530
Namespaces | Classes | Functions
triton::engines::synthesis Namespace Reference

The Synthesis namespace. More...

Namespaces

 oracles
 The Synthesis namespace.
 

Classes

class  ConstantEntry
 Entry of the oracle table for constant synthesis. More...
 
class  UnaryEntry
 Entry of the oracle table for unary operators synthesis. More...
 
class  BinaryEntry
 Entry of the oracle table for binary operators 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...
 

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.