bb::stdlib::databus< Builder >::bus_vector Class Reference

Public Member Functions
	bus_vector (const BusId bus_idx)
void	set_values (const std::vector< field_pt > &entries_in)
	Set the entries of the bus vector from possibly unnormalized or constant inputs.
field_pt	operator[] (const field_pt &index) const
	Read from the bus vector with a witness index value. Creates a read gate.
size_t	size () const
Builder *	get_context () const

Private Types
using	field_pt = field_t< Builder >

Private Attributes
std::vector< field_pt >	entries
size_t	length = 0
BusId	bus_idx
Builder *	context = nullptr

Detailed Description

template<typename Builder>
class bb::stdlib::databus< Builder >::bus_vector

Definition at line 21 of file databus.hpp.

Member Typedef Documentation

field_pt

template<typename Builder >

using bb::stdlib::databus< Builder >::bus_vector::field_pt = field_t<Builder>

private

Definition at line 23 of file databus.hpp.

Constructor & Destructor Documentation

bus_vector()

template<typename Builder >

bb::stdlib::databus< Builder >::bus_vector::bus_vector ( const BusId  bus_idx )

inline

Definition at line 26 of file databus.hpp.

Member Function Documentation

get_context()

template<typename Builder >

Builder * bb::stdlib::databus< Builder >::bus_vector::get_context ( ) const

inline

Definition at line 50 of file databus.hpp.

operator[]()

template<typename Builder >
requires IsMegaBuilder<Builder>

field_t< Builder > bb::stdlib::databus< Builder >::bus_vector::operator[]

(

const field_pt &

index

)

const

Read from the bus vector with a witness index value. Creates a read gate.

Parameters

index

Returns

field_pt

Definition at line 42 of file databus.cpp.

set_values()

template<typename Builder >
requires IsMegaBuilder<Builder>

void bb::stdlib::databus< Builder >::bus_vector::set_values

(

const std::vector< field_pt > &

entries_in

)

Set the entries of the bus vector from possibly unnormalized or constant inputs.

Note

A builder/context is assumed to be known at this stage, otherwise the first read will fail if index is constant

Template Parameters

Builder

Parameters

entries_in

Definition at line 14 of file databus.cpp.

size()

template<typename Builder >

size_t bb::stdlib::databus< Builder >::bus_vector::size ( ) const

inline

Definition at line 49 of file databus.hpp.

Member Data Documentation

bus_idx

template<typename Builder >

BusId bb::stdlib::databus< Builder >::bus_vector::bus_idx

private

Definition at line 55 of file databus.hpp.

context

template<typename Builder >

Builder* bb::stdlib::databus< Builder >::bus_vector::context = nullptr

mutableprivate

Definition at line 56 of file databus.hpp.

entries

template<typename Builder >

std::vector<field_pt> bb::stdlib::databus< Builder >::bus_vector::entries

mutableprivate

Definition at line 53 of file databus.hpp.

length

template<typename Builder >

size_t bb::stdlib::databus< Builder >::bus_vector::length = 0

private

Definition at line 54 of file databus.hpp.

---

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

• src/barretenberg/stdlib/primitives/databus/databus.hpp
• src/barretenberg/stdlib/primitives/databus/databus.cpp