bb::avm2::simulation::ExecutionIdManagerInterface Class Reference

#include <execution_id_manager.hpp>

Inheritance diagram for bb::avm2::simulation::ExecutionIdManagerInterface:

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

Detailed Description

Definition at line 13 of file execution_id_manager.hpp.

Constructor & Destructor Documentation

~ExecutionIdManagerInterface()

virtual bb::avm2::simulation::ExecutionIdManagerInterface::~ExecutionIdManagerInterface ( )

virtualdefault

Member Function Documentation

increment_execution_id()

virtual void bb::avm2::simulation::ExecutionIdManagerInterface::increment_execution_id ( )

pure virtual

Implemented in bb::avm2::simulation::ExecutionIdManager.

---

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

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