libTriton version 1.0 build 1592
Loading...
Searching...
No Matches
Variables
Oracles
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

◆ binopTable

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.

◆ unopTable

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.