Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::simulation::MockIndexedTreeCheck Class Reference

#include <mock_indexed_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::MockIndexedTreeCheck:
bb::avm2::simulation::IndexedTreeCheckInterface

Public Member Functions

 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))
 
- Public Member Functions inherited from bb::avm2::simulation::IndexedTreeCheckInterface
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
 

Detailed Description

Definition at line 15 of file mock_indexed_tree_check.hpp.

Constructor & Destructor Documentation

◆ MockIndexedTreeCheck()

bb::avm2::simulation::MockIndexedTreeCheck::MockIndexedTreeCheck ( )
default

◆ ~MockIndexedTreeCheck()

bb::avm2::simulation::MockIndexedTreeCheck::~MockIndexedTreeCheck ( )
overridedefault

Member Function Documentation

◆ 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]

bb::avm2::simulation::MockIndexedTreeCheck::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)   
)

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