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

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: