libTriton version 1.0 build 1588
No Matches
Public Member Functions | Public Attributes | List of all members
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. More...

Public Attributes

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

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 


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: