libTriton
version 1.0 build 1530
|
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. | |
Entry of the oracle table for binary operators synthesis.
Definition at line 83 of file oracleEntry.hpp.