acir_format::AcirProgramStack Struct Reference

Storage for constaint_systems/witnesses for a stack of acir programs. More...

#include <acir_format.hpp>

Public Member Functions
	AcirProgramStack (std::vector< AcirFormat > constraint_systems_in, WitnessVectorStack witness_stack_in)
size_t	size () const
bool	empty () const
AcirProgram	back ()
void	pop_back ()

Public Attributes
std::vector< AcirFormat >	constraint_systems
WitnessVectorStack	witness_stack

Detailed Description

Storage for constaint_systems/witnesses for a stack of acir programs.

In general the number of items in the witness stack will be equal or greater than the number of constraint systems because the program may consist of multiple calls to the same function.

Definition at line 180 of file acir_format.hpp.

Constructor & Destructor Documentation

AcirProgramStack()

acir_format::AcirProgramStack::AcirProgramStack ( std::vector< AcirFormat >  constraint_systems_in, WitnessVectorStack  witness_stack_in  )

inline

Definition at line 184 of file acir_format.hpp.

Member Function Documentation

back()

AcirProgram acir_format::AcirProgramStack::back ( )

inline

Definition at line 192 of file acir_format.hpp.

empty()

bool acir_format::AcirProgramStack::empty ( ) const

inline

Definition at line 190 of file acir_format.hpp.

pop_back()

void acir_format::AcirProgramStack::pop_back ( )

inline

Definition at line 201 of file acir_format.hpp.

size()

size_t acir_format::AcirProgramStack::size ( ) const

inline

Definition at line 189 of file acir_format.hpp.

Member Data Documentation

constraint_systems

std::vector<AcirFormat> acir_format::AcirProgramStack::constraint_systems

Definition at line 181 of file acir_format.hpp.

witness_stack

WitnessVectorStack acir_format::AcirProgramStack::witness_stack

Definition at line 182 of file acir_format.hpp.

---

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

• src/barretenberg/dsl/acir_format/acir_format.hpp