libTriton  version 1.0 build 1530
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.


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