Here is a list of all variables with links to the classes they belong to:

A

B

C

D

E

F

G

H

I

K

L

M

N

O

P

R

S

T

U

V

W

- o -

• odsAttrs : llzk::array::detail::ArrayLengthOpGenericAdaptorBase, llzk::array::detail::CreateArrayOpGenericAdaptorBase, llzk::array::detail::ExtractArrayOpGenericAdaptorBase, llzk::array::detail::InsertArrayOpGenericAdaptorBase, llzk::array::detail::ReadArrayOpGenericAdaptorBase, llzk::array::detail::WriteArrayOpGenericAdaptorBase, llzk::boolean::detail::AndBoolOpGenericAdaptorBase, llzk::boolean::detail::AssertOpGenericAdaptorBase, llzk::boolean::detail::CmpOpGenericAdaptorBase, llzk::boolean::detail::ExistsOpGenericAdaptorBase, llzk::boolean::detail::ForAllOpGenericAdaptorBase, llzk::boolean::detail::NotBoolOpGenericAdaptorBase, llzk::boolean::detail::OrBoolOpGenericAdaptorBase, llzk::boolean::detail::XorBoolOpGenericAdaptorBase, llzk::boolean::detail::YieldOpGenericAdaptorBase, llzk::cast::detail::FeltToIndexOpGenericAdaptorBase, llzk::cast::detail::IntToFeltOpGenericAdaptorBase, llzk::component::detail::CreateStructOpGenericAdaptorBase, llzk::component::detail::MemberDefOpGenericAdaptorBase, llzk::component::detail::MemberReadOpGenericAdaptorBase, llzk::component::detail::MemberWriteOpGenericAdaptorBase, llzk::component::detail::StructDefOpGenericAdaptorBase, llzk::constrain::detail::EmitContainmentOpGenericAdaptorBase, llzk::constrain::detail::EmitEqualityOpGenericAdaptorBase, llzk::detail::NonDetOpGenericAdaptorBase, llzk::felt::detail::AddFeltOpGenericAdaptorBase, llzk::felt::detail::AndFeltOpGenericAdaptorBase, llzk::felt::detail::DivFeltOpGenericAdaptorBase, llzk::felt::detail::FeltConstantOpGenericAdaptorBase, llzk::felt::detail::InvFeltOpGenericAdaptorBase, llzk::felt::detail::MulFeltOpGenericAdaptorBase, llzk::felt::detail::NegFeltOpGenericAdaptorBase, llzk::felt::detail::NotFeltOpGenericAdaptorBase, llzk::felt::detail::OrFeltOpGenericAdaptorBase, llzk::felt::detail::PowFeltOpGenericAdaptorBase, llzk::felt::detail::ShlFeltOpGenericAdaptorBase, llzk::felt::detail::ShrFeltOpGenericAdaptorBase, llzk::felt::detail::SignedIntDivFeltOpGenericAdaptorBase, llzk::felt::detail::SignedModFeltOpGenericAdaptorBase, llzk::felt::detail::SubFeltOpGenericAdaptorBase, llzk::felt::detail::UnsignedIntDivFeltOpGenericAdaptorBase, llzk::felt::detail::UnsignedModFeltOpGenericAdaptorBase, llzk::felt::detail::XorFeltOpGenericAdaptorBase, llzk::function::detail::CallOpGenericAdaptorBase, llzk::function::detail::FuncDefOpGenericAdaptorBase, llzk::function::detail::ReturnOpGenericAdaptorBase, llzk::global::detail::GlobalDefOpGenericAdaptorBase, llzk::global::detail::GlobalReadOpGenericAdaptorBase, llzk::global::detail::GlobalWriteOpGenericAdaptorBase, llzk::include::detail::IncludeOpGenericAdaptorBase, llzk::pod::detail::NewPodOpGenericAdaptorBase, llzk::pod::detail::ReadPodOpGenericAdaptorBase, llzk::pod::detail::WritePodOpGenericAdaptorBase, llzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase, llzk::polymorphic::detail::ConstReadOpGenericAdaptorBase, llzk::polymorphic::detail::TemplateExprOpGenericAdaptorBase, llzk::polymorphic::detail::TemplateOpGenericAdaptorBase, llzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase, llzk::polymorphic::detail::UnifiableCastOpGenericAdaptorBase, llzk::polymorphic::detail::YieldOpGenericAdaptorBase, llzk::ram::detail::LoadOpGenericAdaptorBase, llzk::ram::detail::StoreOpGenericAdaptorBase, llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase, llzk::string::detail::LitStringOpGenericAdaptorBase, llzk::verif::detail::AssumeDetOpGenericAdaptorBase, llzk::verif::detail::ContractEndOpGenericAdaptorBase, llzk::verif::detail::ContractOpGenericAdaptorBase, llzk::verif::detail::DecreasesOpGenericAdaptorBase, llzk::verif::detail::EnsureComputeOpGenericAdaptorBase, llzk::verif::detail::EnsureConstrainOpGenericAdaptorBase, llzk::verif::detail::IncludeOpGenericAdaptorBase, llzk::verif::detail::IncreasesOpGenericAdaptorBase, llzk::verif::detail::InvariantOpGenericAdaptorBase, llzk::verif::detail::OldOpGenericAdaptorBase, llzk::verif::detail::ProveDetOpGenericAdaptorBase, llzk::verif::detail::RequireComputeOpGenericAdaptorBase, llzk::verif::detail::RequireConstrainOpGenericAdaptorBase, llzk::verif::detail::StepOpGenericAdaptorBase, llzk::verif::detail::StepYieldOpGenericAdaptorBase, llzk::verif::detail::VerifAssertOpGenericAdaptorBase, llzk::verif::detail::VerifProveOpGenericAdaptorBase, llzk::verif::detail::VerifSMTProveOpGenericAdaptorBase
• odsIndex_addr : llzk::ram::LoadOp, llzk::ram::StoreOp
• odsIndex_argOperands : llzk::function::CallOp, llzk::verif::IncludeOp
• odsIndex_arr_ref : llzk::array::ArrayLengthOp, llzk::array::ExtractArrayOp, llzk::array::InsertArrayOp, llzk::array::ReadArrayOp, llzk::array::WriteArrayOp
• odsIndex_component : llzk::component::MemberReadOp, llzk::component::MemberWriteOp
• odsIndex_condition : llzk::boolean::AssertOp, llzk::verif::EnsureComputeOp, llzk::verif::EnsureConstrainOp, llzk::verif::ProveDetOp, llzk::verif::RequireComputeOp, llzk::verif::RequireConstrainOp, llzk::verif::VerifAssertOp, llzk::verif::VerifProveOp, llzk::verif::VerifSMTProveOp
• odsIndex_dim : llzk::array::ArrayLengthOp
• odsIndex_elements : llzk::array::CreateArrayOp
• odsIndex_hint : llzk::verif::AssumeDetOp
• odsIndex_indices : llzk::array::ExtractArrayOp, llzk::array::InsertArrayOp, llzk::array::ReadArrayOp, llzk::array::WriteArrayOp
• odsIndex_initialValues : llzk::pod::NewPodOp
• odsIndex_input : llzk::polymorphic::UnifiableCastOp
• odsIndex_lhs : llzk::boolean::AndBoolOp, llzk::boolean::CmpOp, llzk::boolean::OrBoolOp, llzk::boolean::XorBoolOp, llzk::constrain::EmitContainmentOp, llzk::constrain::EmitEqualityOp, llzk::felt::AddFeltOp, llzk::felt::AndFeltOp, llzk::felt::DivFeltOp, llzk::felt::MulFeltOp, llzk::felt::OrFeltOp, llzk::felt::PowFeltOp, llzk::felt::ShlFeltOp, llzk::felt::ShrFeltOp, llzk::felt::SignedIntDivFeltOp, llzk::felt::SignedModFeltOp, llzk::felt::SubFeltOp, llzk::felt::UnsignedIntDivFeltOp, llzk::felt::UnsignedModFeltOp, llzk::felt::XorFeltOp
• odsIndex_mapOperands : llzk::array::CreateArrayOp, llzk::component::MemberReadOp, llzk::function::CallOp, llzk::pod::NewPodOp, llzk::polymorphic::ApplyMapOp, llzk::verif::IncludeOp
• odsIndex_operand : llzk::boolean::NotBoolOp, llzk::felt::InvFeltOp, llzk::felt::NegFeltOp, llzk::felt::NotFeltOp
• odsIndex_operands : llzk::function::ReturnOp
• odsIndex_pod_ref : llzk::pod::ReadPodOp, llzk::pod::WritePodOp
• odsIndex_rhs : llzk::boolean::AndBoolOp, llzk::boolean::CmpOp, llzk::boolean::OrBoolOp, llzk::boolean::XorBoolOp, llzk::constrain::EmitContainmentOp, llzk::constrain::EmitEqualityOp, llzk::felt::AddFeltOp, llzk::felt::AndFeltOp, llzk::felt::DivFeltOp, llzk::felt::MulFeltOp, llzk::felt::OrFeltOp, llzk::felt::PowFeltOp, llzk::felt::ShlFeltOp, llzk::felt::ShrFeltOp, llzk::felt::SignedIntDivFeltOp, llzk::felt::SignedModFeltOp, llzk::felt::SubFeltOp, llzk::felt::UnsignedIntDivFeltOp, llzk::felt::UnsignedModFeltOp, llzk::felt::XorFeltOp
• odsIndex_rvalue : llzk::array::InsertArrayOp, llzk::array::WriteArrayOp
• odsIndex_sort : llzk::boolean::ExistsOp, llzk::boolean::ForAllOp
• odsIndex_val : llzk::component::MemberWriteOp, llzk::global::GlobalWriteOp, llzk::polymorphic::YieldOp, llzk::ram::StoreOp
• odsIndex_value : llzk::boolean::YieldOp, llzk::cast::FeltToIndexOp, llzk::cast::IntToFeltOp, llzk::pod::WritePodOp, llzk::verif::DecreasesOp, llzk::verif::IncreasesOp, llzk::verif::OldOp, llzk::verif::StepYieldOp
• odsOpName : llzk::array::detail::ArrayLengthOpGenericAdaptorBase, llzk::array::detail::CreateArrayOpGenericAdaptorBase, llzk::array::detail::ExtractArrayOpGenericAdaptorBase, llzk::array::detail::InsertArrayOpGenericAdaptorBase, llzk::array::detail::ReadArrayOpGenericAdaptorBase, llzk::array::detail::WriteArrayOpGenericAdaptorBase, llzk::boolean::detail::AndBoolOpGenericAdaptorBase, llzk::boolean::detail::AssertOpGenericAdaptorBase, llzk::boolean::detail::CmpOpGenericAdaptorBase, llzk::boolean::detail::ExistsOpGenericAdaptorBase, llzk::boolean::detail::ForAllOpGenericAdaptorBase, llzk::boolean::detail::NotBoolOpGenericAdaptorBase, llzk::boolean::detail::OrBoolOpGenericAdaptorBase, llzk::boolean::detail::XorBoolOpGenericAdaptorBase, llzk::boolean::detail::YieldOpGenericAdaptorBase, llzk::cast::detail::FeltToIndexOpGenericAdaptorBase, llzk::cast::detail::IntToFeltOpGenericAdaptorBase, llzk::component::detail::CreateStructOpGenericAdaptorBase, llzk::component::detail::MemberDefOpGenericAdaptorBase, llzk::component::detail::MemberReadOpGenericAdaptorBase, llzk::component::detail::MemberWriteOpGenericAdaptorBase, llzk::component::detail::StructDefOpGenericAdaptorBase, llzk::constrain::detail::EmitContainmentOpGenericAdaptorBase, llzk::constrain::detail::EmitEqualityOpGenericAdaptorBase, llzk::detail::NonDetOpGenericAdaptorBase, llzk::felt::detail::AddFeltOpGenericAdaptorBase, llzk::felt::detail::AndFeltOpGenericAdaptorBase, llzk::felt::detail::DivFeltOpGenericAdaptorBase, llzk::felt::detail::FeltConstantOpGenericAdaptorBase, llzk::felt::detail::InvFeltOpGenericAdaptorBase, llzk::felt::detail::MulFeltOpGenericAdaptorBase, llzk::felt::detail::NegFeltOpGenericAdaptorBase, llzk::felt::detail::NotFeltOpGenericAdaptorBase, llzk::felt::detail::OrFeltOpGenericAdaptorBase, llzk::felt::detail::PowFeltOpGenericAdaptorBase, llzk::felt::detail::ShlFeltOpGenericAdaptorBase, llzk::felt::detail::ShrFeltOpGenericAdaptorBase, llzk::felt::detail::SignedIntDivFeltOpGenericAdaptorBase, llzk::felt::detail::SignedModFeltOpGenericAdaptorBase, llzk::felt::detail::SubFeltOpGenericAdaptorBase, llzk::felt::detail::UnsignedIntDivFeltOpGenericAdaptorBase, llzk::felt::detail::UnsignedModFeltOpGenericAdaptorBase, llzk::felt::detail::XorFeltOpGenericAdaptorBase, llzk::function::detail::CallOpGenericAdaptorBase, llzk::function::detail::FuncDefOpGenericAdaptorBase, llzk::function::detail::ReturnOpGenericAdaptorBase, llzk::global::detail::GlobalDefOpGenericAdaptorBase, llzk::global::detail::GlobalReadOpGenericAdaptorBase, llzk::global::detail::GlobalWriteOpGenericAdaptorBase, llzk::include::detail::IncludeOpGenericAdaptorBase, llzk::pod::detail::NewPodOpGenericAdaptorBase, llzk::pod::detail::ReadPodOpGenericAdaptorBase, llzk::pod::detail::WritePodOpGenericAdaptorBase, llzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase, llzk::polymorphic::detail::ConstReadOpGenericAdaptorBase, llzk::polymorphic::detail::TemplateExprOpGenericAdaptorBase, llzk::polymorphic::detail::TemplateOpGenericAdaptorBase, llzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase, llzk::polymorphic::detail::UnifiableCastOpGenericAdaptorBase, llzk::polymorphic::detail::YieldOpGenericAdaptorBase, llzk::ram::detail::LoadOpGenericAdaptorBase, llzk::ram::detail::StoreOpGenericAdaptorBase, llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase, llzk::string::detail::LitStringOpGenericAdaptorBase, llzk::verif::detail::AssumeDetOpGenericAdaptorBase, llzk::verif::detail::ContractEndOpGenericAdaptorBase, llzk::verif::detail::ContractOpGenericAdaptorBase, llzk::verif::detail::DecreasesOpGenericAdaptorBase, llzk::verif::detail::EnsureComputeOpGenericAdaptorBase, llzk::verif::detail::EnsureConstrainOpGenericAdaptorBase, llzk::verif::detail::IncludeOpGenericAdaptorBase, llzk::verif::detail::IncreasesOpGenericAdaptorBase, llzk::verif::detail::InvariantOpGenericAdaptorBase, llzk::verif::detail::OldOpGenericAdaptorBase, llzk::verif::detail::ProveDetOpGenericAdaptorBase, llzk::verif::detail::RequireComputeOpGenericAdaptorBase, llzk::verif::detail::RequireConstrainOpGenericAdaptorBase, llzk::verif::detail::StepOpGenericAdaptorBase, llzk::verif::detail::StepYieldOpGenericAdaptorBase, llzk::verif::detail::VerifAssertOpGenericAdaptorBase, llzk::verif::detail::VerifProveOpGenericAdaptorBase, llzk::verif::detail::VerifSMTProveOpGenericAdaptorBase
• odsRegions : llzk::array::detail::ArrayLengthOpGenericAdaptorBase, llzk::array::detail::CreateArrayOpGenericAdaptorBase, llzk::array::detail::ExtractArrayOpGenericAdaptorBase, llzk::array::detail::InsertArrayOpGenericAdaptorBase, llzk::array::detail::ReadArrayOpGenericAdaptorBase, llzk::array::detail::WriteArrayOpGenericAdaptorBase, llzk::boolean::detail::AndBoolOpGenericAdaptorBase, llzk::boolean::detail::AssertOpGenericAdaptorBase, llzk::boolean::detail::CmpOpGenericAdaptorBase, llzk::boolean::detail::ExistsOpGenericAdaptorBase, llzk::boolean::detail::ForAllOpGenericAdaptorBase, llzk::boolean::detail::NotBoolOpGenericAdaptorBase, llzk::boolean::detail::OrBoolOpGenericAdaptorBase, llzk::boolean::detail::XorBoolOpGenericAdaptorBase, llzk::boolean::detail::YieldOpGenericAdaptorBase, llzk::cast::detail::FeltToIndexOpGenericAdaptorBase, llzk::cast::detail::IntToFeltOpGenericAdaptorBase, llzk::component::detail::CreateStructOpGenericAdaptorBase, llzk::component::detail::MemberDefOpGenericAdaptorBase, llzk::component::detail::MemberReadOpGenericAdaptorBase, llzk::component::detail::MemberWriteOpGenericAdaptorBase, llzk::component::detail::StructDefOpGenericAdaptorBase, llzk::constrain::detail::EmitContainmentOpGenericAdaptorBase, llzk::constrain::detail::EmitEqualityOpGenericAdaptorBase, llzk::detail::NonDetOpGenericAdaptorBase, llzk::felt::detail::AddFeltOpGenericAdaptorBase, llzk::felt::detail::AndFeltOpGenericAdaptorBase, llzk::felt::detail::DivFeltOpGenericAdaptorBase, llzk::felt::detail::FeltConstantOpGenericAdaptorBase, llzk::felt::detail::InvFeltOpGenericAdaptorBase, llzk::felt::detail::MulFeltOpGenericAdaptorBase, llzk::felt::detail::NegFeltOpGenericAdaptorBase, llzk::felt::detail::NotFeltOpGenericAdaptorBase, llzk::felt::detail::OrFeltOpGenericAdaptorBase, llzk::felt::detail::PowFeltOpGenericAdaptorBase, llzk::felt::detail::ShlFeltOpGenericAdaptorBase, llzk::felt::detail::ShrFeltOpGenericAdaptorBase, llzk::felt::detail::SignedIntDivFeltOpGenericAdaptorBase, llzk::felt::detail::SignedModFeltOpGenericAdaptorBase, llzk::felt::detail::SubFeltOpGenericAdaptorBase, llzk::felt::detail::UnsignedIntDivFeltOpGenericAdaptorBase, llzk::felt::detail::UnsignedModFeltOpGenericAdaptorBase, llzk::felt::detail::XorFeltOpGenericAdaptorBase, llzk::function::detail::CallOpGenericAdaptorBase, llzk::function::detail::FuncDefOpGenericAdaptorBase, llzk::function::detail::ReturnOpGenericAdaptorBase, llzk::global::detail::GlobalDefOpGenericAdaptorBase, llzk::global::detail::GlobalReadOpGenericAdaptorBase, llzk::global::detail::GlobalWriteOpGenericAdaptorBase, llzk::include::detail::IncludeOpGenericAdaptorBase, llzk::pod::detail::NewPodOpGenericAdaptorBase, llzk::pod::detail::ReadPodOpGenericAdaptorBase, llzk::pod::detail::WritePodOpGenericAdaptorBase, llzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase, llzk::polymorphic::detail::ConstReadOpGenericAdaptorBase, llzk::polymorphic::detail::TemplateExprOpGenericAdaptorBase, llzk::polymorphic::detail::TemplateOpGenericAdaptorBase, llzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase, llzk::polymorphic::detail::UnifiableCastOpGenericAdaptorBase, llzk::polymorphic::detail::YieldOpGenericAdaptorBase, llzk::ram::detail::LoadOpGenericAdaptorBase, llzk::ram::detail::StoreOpGenericAdaptorBase, llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase, llzk::string::detail::LitStringOpGenericAdaptorBase, llzk::verif::detail::AssumeDetOpGenericAdaptorBase, llzk::verif::detail::ContractEndOpGenericAdaptorBase, llzk::verif::detail::ContractOpGenericAdaptorBase, llzk::verif::detail::DecreasesOpGenericAdaptorBase, llzk::verif::detail::EnsureComputeOpGenericAdaptorBase, llzk::verif::detail::EnsureConstrainOpGenericAdaptorBase, llzk::verif::detail::IncludeOpGenericAdaptorBase, llzk::verif::detail::IncreasesOpGenericAdaptorBase, llzk::verif::detail::InvariantOpGenericAdaptorBase, llzk::verif::detail::OldOpGenericAdaptorBase, llzk::verif::detail::ProveDetOpGenericAdaptorBase, llzk::verif::detail::RequireComputeOpGenericAdaptorBase, llzk::verif::detail::RequireConstrainOpGenericAdaptorBase, llzk::verif::detail::StepOpGenericAdaptorBase, llzk::verif::detail::StepYieldOpGenericAdaptorBase, llzk::verif::detail::VerifAssertOpGenericAdaptorBase, llzk::verif::detail::VerifProveOpGenericAdaptorBase, llzk::verif::detail::VerifSMTProveOpGenericAdaptorBase
• operandNameCapitalized : OpGeneratorData
• operandSegmentSizes : llzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties, llzk::function::detail::CallOpGenericAdaptorBase::Properties, llzk::pod::detail::NewPodOpGenericAdaptorBase::Properties, llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties
• originalNames : llzk::SplitFunctionNameInfo
• os : Generator
• outputScope : llzk::witgen::WitgenOptions
• outputStream : llzk::CallGraphPrinterPassOptions, llzk::CallGraphSCCsPrinterPassOptions, llzk::ConstraintDependencyGraphPrinterPassOptions, llzk::impl::CallGraphPrinterPassBase< DerivedT >, llzk::impl::CallGraphSCCsPrinterPassBase< DerivedT >, llzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT >, llzk::impl::IntervalAnalysisPrinterPassBase< DerivedT >, llzk::impl::PredecessorPrinterPassBase< DerivedT >, llzk::impl::SymbolDefTreePrinterPassBase< DerivedT >, llzk::impl::SymbolUseGraphPrinterPassBase< DerivedT >, llzk::IntervalAnalysisPrinterPassOptions, llzk::PredecessorPrinterPassOptions, llzk::SymbolDefTreePrinterPassOptions, llzk::SymbolUseGraphPrinterPassOptions
• overflow : llzk::cast::detail::FeltToIndexOpGenericAdaptorBase::Properties, llzk::cast::detail::IntToFeltOpGenericAdaptorBase::Properties