oracleTable.cpp File Reference

#include <array>
#include <deque>
#include <map>
#include <triton/astEnums.hpp>
#include <triton/oracleEntry.hpp>

Go to the source code of this file.

Namespaces
namespace	triton
	The Triton namespace.
namespace	triton::engines
	The Engines namespace.
namespace	triton::engines::synthesis
	The Synthesis namespace.
namespace	triton::engines::synthesis::oracles
	The Synthesis namespace.

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.