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.