#include <mock_indexed_tree_check.hpp>
|
| | MockIndexedTreeCheck () |
| |
| | ~MockIndexedTreeCheck () override |
| |
| | MOCK_METHOD (void, assert_read,(const FF &value, std::optional< IndexedTreeSiloingParameters > siloing_params, bool exists, const IndexedTreeLeafData &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot),(override)) |
| |
| | MOCK_METHOD (AppendOnlyTreeSnapshot, write,(const FF &value, std::optional< IndexedTreeSiloingParameters > siloing_params, std::optional< uint64_t > public_inputs_index, const IndexedTreeLeafData &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::optional< std::span< const FF > > insertion_sibling_path),(override)) |
| |
| virtual | ~IndexedTreeCheckInterface ()=default |
| |
| virtual void | assert_read (const FF &value, std::optional< IndexedTreeSiloingParameters > siloing_params, bool exists, const IndexedTreeLeafData &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot)=0 |
| |
| virtual AppendOnlyTreeSnapshot | write (const FF &value, std::optional< IndexedTreeSiloingParameters > siloing_params, std::optional< uint64_t > public_inputs_index, const IndexedTreeLeafData &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::optional< std::span< const FF > > insertion_sibling_path)=0 |
| |
Definition at line 15 of file mock_indexed_tree_check.hpp.
◆ MockIndexedTreeCheck()
| bb::avm2::simulation::MockIndexedTreeCheck::MockIndexedTreeCheck |
( |
| ) |
|
|
default |
◆ ~MockIndexedTreeCheck()
| bb::avm2::simulation::MockIndexedTreeCheck::~MockIndexedTreeCheck |
( |
| ) |
|
|
overridedefault |
◆ MOCK_METHOD() [1/2]
| bb::avm2::simulation::MockIndexedTreeCheck::MOCK_METHOD |
( |
AppendOnlyTreeSnapshot |
, |
|
|
write |
, |
|
|
(const FF &value, std::optional< IndexedTreeSiloingParameters > siloing_params, std::optional< uint64_t > public_inputs_index, const IndexedTreeLeafData &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::optional< std::span< const FF > > insertion_sibling_path) |
, |
|
|
(override) |
|
|
) |
| |
◆ MOCK_METHOD() [2/2]
The documentation for this class was generated from the following files: