libTriton  version 1.0 build 1532
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 
)
inline

Constructor.

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: