#include <flavor.hpp>

Inheritance diagram for bb::avm2::AvmFlavor::WitnessEntities< DataType >:

Public Member Functions
std::span< DataType >	get_all ()

std::span< const DataType >	get_all () const

std::span< const std::string >	get_labels () const

Public Member Functions inherited from bb::avm2::AvmFlavor::AllEntities< DataType >
std::span< DataType >	get_all ()

std::span< const DataType >	get_all () const

std::span< const std::string >	get_labels () const

	DEFINE_AVM_GETTER (precomputed, PRECOMPUTED_START_IDX, NUM_PRECOMPUTED_ENTITIES)

	DEFINE_AVM_GETTER (wires, WIRE_START_IDX, NUM_WIRE_ENTITIES)

	DEFINE_AVM_GETTER (derived, DERIVED_START_IDX, NUM_DERIVED_ENTITIES)

	DEFINE_AVM_GETTER (shifted, SHIFTED_START_IDX, NUM_SHIFTED_ENTITIES)

	DEFINE_AVM_GETTER (witness, WITNESS_START_IDX, NUM_WITNESS_ENTITIES)

	DEFINE_AVM_GETTER (unshifted, UNSHIFTED_START_IDX, NUM_UNSHIFTED_ENTITIES)

	DEFINE_AVM_GETTER (to_be_shifted, WIRES_TO_BE_SHIFTED_START_IDX, NUM_WIRES_TO_BE_SHIFTED)

DataType &	get (ColumnAndShifts c)

const DataType &	get (ColumnAndShifts c) const

Additional Inherited Members
Public Types inherited from bb::avm2::AvmFlavor::AllEntities< DataType >
using	DataType = DataType

Public Attributes inherited from bb::avm2::AvmFlavor::AllEntities< DataType >
std::array< DataType, NUM_ALL_ENTITIES >	entities

Detailed Description

template<typename DataType>
class bb::avm2::AvmFlavor::WitnessEntities< DataType >

Definition at line 156 of file flavor.hpp.

Member Function Documentation

std::span< DataType > bb::avm2::AvmFlavor::WitnessEntities< DataType >::get_all ( )

inline

Definition at line 163 of file flavor.hpp.

std::span< const DataType > bb::avm2::AvmFlavor::WitnessEntities< DataType >::get_all ( ) const

inline

Definition at line 164 of file flavor.hpp.

std::span< const std::string > bb::avm2::AvmFlavor::WitnessEntities< DataType >::get_labels ( ) const

inline

Definition at line 165 of file flavor.hpp.

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