libTriton version 1.0 build 1588
No Matches
Public Member Functions | Public Attributes | List of all members
triton::engines::synthesis::ConstantEntry Class Reference

Entry of the oracle table for constant synthesis. More...

#include <oracleEntry.hpp>

Public Member Functions

TRITON_EXPORT ConstantEntry (triton::uint8 position, const triton::ast::SharedAbstractNode &op)
 Constructor. More...

Public Attributes

triton::ast::SharedAbstractNode op
 AST operator. More...
triton::uint8 position
 Constant position in the AST. More...

Detailed Description

Entry of the oracle table for constant synthesis.

Definition at line 42 of file oracleEntry.hpp.

Constructor & Destructor Documentation

◆ ConstantEntry()

TRITON_EXPORT triton::engines::synthesis::ConstantEntry::ConstantEntry ( triton::uint8  position,
const triton::ast::SharedAbstractNode op 


Definition at line 57 of file oracleEntry.hpp.

Member Data Documentation

◆ op

triton::ast::SharedAbstractNode triton::engines::synthesis::ConstantEntry::op

AST operator.

Definition at line 45 of file oracleEntry.hpp.

◆ position

triton::uint8 triton::engines::synthesis::ConstantEntry::position

Constant position in the AST.

Example 1: c - x -> 0
Example 2: x - c -> 1

Definition at line 54 of file oracleEntry.hpp.

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