Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
execution_id_manager.hpp
Go to the documentation of this file.
1#pragma once
2
3#include <cstdint>
4
5namespace bb::avm2::simulation {
6
8 public:
9 virtual ~ExecutionIdGetterInterface() = default;
10 virtual uint32_t get_execution_id() const = 0;
11};
12
14 public:
15 virtual ~ExecutionIdManagerInterface() = default;
16
17 virtual void increment_execution_id() = 0;
18};
19
21 public:
22 ExecutionIdManager(uint32_t initial_execution_id)
23 : execution_id_(initial_execution_id)
24 {}
25 ~ExecutionIdManager() override = default;
26
27 uint32_t get_execution_id() const override { return execution_id_; }
29
30 private:
31 uint32_t execution_id_;
32};
33
34} // namespace bb::avm2::simulation
virtual uint32_t get_execution_id() const =0
ExecutionIdManager(uint32_t initial_execution_id)