triton::engines::synthesis::oracles Namespace Reference

The Synthesis namespace. More...

Variables
std::map< triton::ast::ast_e, std::array< UnaryEntry, 40 > >	unopTable
	The oracle table for unary operators. Each entry is a UnaryEntry object.
std::map< triton::ast::ast_e, std::array< BinaryEntry, 40 > >	binopTable
	The oracle table for binary operators. Each entry is a BinaryEntry object.

Detailed Description

The Synthesis namespace.