bb::avm2::lookup_execution_instruction_fetching_result_settings_ Struct Reference

#include <lookups_execution.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "LOOKUP_EXECUTION_INSTRUCTION_FETCHING_RESULT"
static constexpr std::string_view	RELATION_NAME = "execution"
static constexpr size_t	LOOKUP_TUPLE_SIZE = 3
static constexpr Column	SRC_SELECTOR = Column::execution_sel_bytecode_retrieval_success
static constexpr Column	DST_SELECTOR = Column::instr_fetching_sel
static constexpr Column	COUNTS = Column::lookup_execution_instruction_fetching_result_counts
static constexpr Column	INVERSES = Column::lookup_execution_instruction_fetching_result_inv
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE >	SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, LOOKUP_TUPLE_SIZE >	DST_COLUMNS

Detailed Description

Definition at line 48 of file lookups_execution.hpp.

Member Data Documentation

COUNTS

constexpr Column bb::avm2::lookup_execution_instruction_fetching_result_settings_::COUNTS = Column::lookup_execution_instruction_fetching_result_counts

staticconstexpr

Definition at line 54 of file lookups_execution.hpp.

DST_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_execution_instruction_fetching_result_settings_::DST_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::instr_fetching_pc,
        ColumnAndShifts::instr_fetching_bytecode_id,
        ColumnAndShifts::instr_fetching_sel_parsing_err
    }

Definition at line 61 of file lookups_execution.hpp.

DST_SELECTOR

constexpr Column bb::avm2::lookup_execution_instruction_fetching_result_settings_::DST_SELECTOR = Column::instr_fetching_sel

staticconstexpr

Definition at line 53 of file lookups_execution.hpp.

INVERSES

constexpr Column bb::avm2::lookup_execution_instruction_fetching_result_settings_::INVERSES = Column::lookup_execution_instruction_fetching_result_inv

staticconstexpr

Definition at line 55 of file lookups_execution.hpp.

LOOKUP_TUPLE_SIZE

constexpr size_t bb::avm2::lookup_execution_instruction_fetching_result_settings_::LOOKUP_TUPLE_SIZE = 3

staticconstexpr

Definition at line 51 of file lookups_execution.hpp.

NAME

constexpr std::string_view bb::avm2::lookup_execution_instruction_fetching_result_settings_::NAME = "LOOKUP_EXECUTION_INSTRUCTION_FETCHING_RESULT"

staticconstexpr

Definition at line 49 of file lookups_execution.hpp.

RELATION_NAME

constexpr std::string_view bb::avm2::lookup_execution_instruction_fetching_result_settings_::RELATION_NAME = "execution"

staticconstexpr

Definition at line 50 of file lookups_execution.hpp.

SRC_COLUMNS

constexpr std::array<ColumnAndShifts, LOOKUP_TUPLE_SIZE> bb::avm2::lookup_execution_instruction_fetching_result_settings_::SRC_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::execution_pc,
        ColumnAndShifts::execution_bytecode_id,
        ColumnAndShifts::execution_sel_instruction_fetching_failure
    }

Definition at line 56 of file lookups_execution.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::lookup_execution_instruction_fetching_result_settings_::SRC_SELECTOR = Column::execution_sel_bytecode_retrieval_success

staticconstexpr

Definition at line 52 of file lookups_execution.hpp.

---

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

• src/barretenberg/vm2/generated/relations/lookups_execution.hpp