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.