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.

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

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:

• /Users/jonathan/Works/Tools/Triton/src/libtriton/includes/triton/oracleEntry.hpp