Collaboration diagram for Oracles:

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

std::map< triton::ast::ast_e, std::array< BinaryEntry, 40 > >	triton::engines::synthesis::oracles::binopTable
	The oracle table for binary operators. Each entry is a BinaryEntry object.

Detailed Description

Variable Documentation

std::map< triton::ast::ast_e, std::array< BinaryEntry, 40 > > triton::engines::synthesis::oracles::binopTable

The oracle table for binary operators. Each entry is a BinaryEntry object.

Entry: <bits> <x value> <y value> <result> <operator>

Definition at line 75 of file oracleTable.cpp.

std::map< triton::ast::ast_e, std::array< UnaryEntry, 40 > > triton::engines::synthesis::oracles::unopTable

The oracle table for unary operators. Each entry is a UnaryEntry object.

Entry: <bits> <x value> <result> <operator>

Definition at line 24 of file oracleTable.cpp.