bb::avm2::perm_internal_call_push_call_stack_settings_ Struct Reference

#include <perms_internal_call.hpp>

Static Public Attributes
static constexpr std::string_view	NAME = "PERM_INTERNAL_CALL_PUSH_CALL_STACK"
static constexpr std::string_view	RELATION_NAME = "internal_call"
static constexpr size_t	COLUMNS_PER_SET = 5
static constexpr Column	SRC_SELECTOR = Column::execution_sel_execute_internal_call
static constexpr Column	DST_SELECTOR = Column::internal_call_stack_sel
static constexpr Column	INVERSES = Column::perm_internal_call_push_call_stack_inv
static constexpr std::array< ColumnAndShifts, COLUMNS_PER_SET >	SRC_COLUMNS
static constexpr std::array< ColumnAndShifts, COLUMNS_PER_SET >	DST_COLUMNS

Detailed Description

Definition at line 16 of file perms_internal_call.hpp.

Member Data Documentation

COLUMNS_PER_SET

constexpr size_t bb::avm2::perm_internal_call_push_call_stack_settings_::COLUMNS_PER_SET = 5

staticconstexpr

Definition at line 19 of file perms_internal_call.hpp.

DST_COLUMNS

constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> bb::avm2::perm_internal_call_push_call_stack_settings_::DST_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::internal_call_stack_context_id,
        ColumnAndShifts::internal_call_stack_entered_call_id,
        ColumnAndShifts::internal_call_stack_id,
        ColumnAndShifts::internal_call_stack_return_id,
        ColumnAndShifts::internal_call_stack_return_pc
    }

Definition at line 30 of file perms_internal_call.hpp.

DST_SELECTOR

constexpr Column bb::avm2::perm_internal_call_push_call_stack_settings_::DST_SELECTOR = Column::internal_call_stack_sel

staticconstexpr

Definition at line 21 of file perms_internal_call.hpp.

INVERSES

constexpr Column bb::avm2::perm_internal_call_push_call_stack_settings_::INVERSES = Column::perm_internal_call_push_call_stack_inv

staticconstexpr

Definition at line 22 of file perms_internal_call.hpp.

NAME

constexpr std::string_view bb::avm2::perm_internal_call_push_call_stack_settings_::NAME = "PERM_INTERNAL_CALL_PUSH_CALL_STACK"

staticconstexpr

Definition at line 17 of file perms_internal_call.hpp.

RELATION_NAME

constexpr std::string_view bb::avm2::perm_internal_call_push_call_stack_settings_::RELATION_NAME = "internal_call"

staticconstexpr

Definition at line 18 of file perms_internal_call.hpp.

SRC_COLUMNS

constexpr std::array<ColumnAndShifts, COLUMNS_PER_SET> bb::avm2::perm_internal_call_push_call_stack_settings_::SRC_COLUMNS

staticconstexpr

Initial value:

= {
        ColumnAndShifts::execution_context_id,
        ColumnAndShifts::execution_next_internal_call_id,
        ColumnAndShifts::execution_internal_call_id,
        ColumnAndShifts::execution_internal_call_return_id,
        ColumnAndShifts::execution_next_pc
    }

Definition at line 23 of file perms_internal_call.hpp.

SRC_SELECTOR

constexpr Column bb::avm2::perm_internal_call_push_call_stack_settings_::SRC_SELECTOR = Column::execution_sel_execute_internal_call

staticconstexpr

Definition at line 20 of file perms_internal_call.hpp.

---

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

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