bb::avm2::simulation::ExecutionIdManager Class Reference

#include <execution_id_manager.hpp>

Inheritance diagram for bb::avm2::simulation::ExecutionIdManager:

Public Member Functions
	ExecutionIdManager (uint32_t initial_execution_id)
	~ExecutionIdManager () override=default
uint32_t	get_execution_id () const override
void	increment_execution_id () override
Public Member Functions inherited from bb::avm2::simulation::ExecutionIdManagerInterface
virtual	~ExecutionIdManagerInterface ()=default
Public Member Functions inherited from bb::avm2::simulation::ExecutionIdGetterInterface
virtual	~ExecutionIdGetterInterface ()=default

Private Attributes
uint32_t	execution_id_

Detailed Description

Definition at line 20 of file execution_id_manager.hpp.

Constructor & Destructor Documentation

ExecutionIdManager()

bb::avm2::simulation::ExecutionIdManager::ExecutionIdManager ( uint32_t  initial_execution_id )

inline

Definition at line 22 of file execution_id_manager.hpp.

~ExecutionIdManager()

bb::avm2::simulation::ExecutionIdManager::~ExecutionIdManager ( )

overridedefault

Member Function Documentation

get_execution_id()

uint32_t bb::avm2::simulation::ExecutionIdManager::get_execution_id ( ) const

inlineoverridevirtual

Implements bb::avm2::simulation::ExecutionIdGetterInterface.

Definition at line 27 of file execution_id_manager.hpp.

increment_execution_id()

void bb::avm2::simulation::ExecutionIdManager::increment_execution_id ( )

inlineoverridevirtual

Implements bb::avm2::simulation::ExecutionIdManagerInterface.

Definition at line 28 of file execution_id_manager.hpp.

Member Data Documentation

execution_id_

uint32_t bb::avm2::simulation::ExecutionIdManager::execution_id_

private

Definition at line 31 of file execution_id_manager.hpp.

---

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

• src/barretenberg/vm2/simulation/lib/execution_id_manager.hpp