triton::engines::synthesis::UnaryEntry Class Reference

Entry of the oracle table for unary operators synthesis. More...

#include <oracleEntry.hpp>

Public Member Functions
TRITON_EXPORT	UnaryEntry (triton::uint8 bits, triton::uint64 x, triton::uint64 r)
	Constructor.

Public Attributes
triton::uint32	bits
	Size of the oracle.
triton::uint64	x
	Value of x.
triton::uint64	r
	Result of <op>(x)

Detailed Description

Entry of the oracle table for unary operators synthesis.

Definition at line 64 of file oracleEntry.hpp.

Constructor & Destructor Documentation

UnaryEntry()

TRITON_EXPORT triton::engines::synthesis::UnaryEntry::UnaryEntry ( triton::uint8 bits, triton::uint64 x, triton::uint64 r )

inline

Constructor.

Definition at line 76 of file oracleEntry.hpp.

Member Data Documentation

bits

triton::uint32 triton::engines::synthesis::UnaryEntry::bits

Size of the oracle.

Definition at line 67 of file oracleEntry.hpp.

r

triton::uint64 triton::engines::synthesis::UnaryEntry::r

Result of <op>(x)

Definition at line 73 of file oracleEntry.hpp.

x

triton::uint64 triton::engines::synthesis::UnaryEntry::x

Value of x.

Definition at line 70 of file oracleEntry.hpp.

---

The documentation for this class was generated from the following file:

• /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/oracleEntry.hpp