triton::engines::synthesis::BinaryEntry Class Reference

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

#include <oracleEntry.hpp>

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

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

Detailed Description

Entry of the oracle table for binary operators synthesis.

Definition at line 83 of file oracleEntry.hpp.

Constructor & Destructor Documentation

BinaryEntry()

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

inline

Constructor.

Definition at line 98 of file oracleEntry.hpp.

Member Data Documentation

bits

triton::uint32 triton::engines::synthesis::BinaryEntry::bits

Size of the oracle.

Definition at line 86 of file oracleEntry.hpp.

r

triton::uint64 triton::engines::synthesis::BinaryEntry::r

Result of x <op> y.

Definition at line 95 of file oracleEntry.hpp.

x

triton::uint64 triton::engines::synthesis::BinaryEntry::x

Value of x.

Definition at line 89 of file oracleEntry.hpp.

y

triton::uint64 triton::engines::synthesis::BinaryEntry::y

Value of y.

Definition at line 92 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