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

Public Attributes

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

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: