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

- v -

• verify() : llzk::array::ArrayLengthOpAdaptor, llzk::array::ArrayType, llzk::array::CreateArrayOp, llzk::array::CreateArrayOpAdaptor, llzk::array::ExtractArrayOpAdaptor, llzk::array::InsertArrayOp, llzk::array::InsertArrayOpAdaptor, llzk::array::ReadArrayOp, llzk::array::ReadArrayOpAdaptor, llzk::array::WriteArrayOp, llzk::array::WriteArrayOpAdaptor, llzk::boolean::AndBoolOpAdaptor, llzk::boolean::AssertOpAdaptor, llzk::boolean::CmpOpAdaptor, llzk::boolean::NotBoolOpAdaptor, llzk::boolean::OrBoolOpAdaptor, llzk::boolean::XorBoolOpAdaptor, llzk::cast::FeltToIndexOpAdaptor, llzk::cast::IntToFeltOpAdaptor, llzk::component::CreateStructOpAdaptor, llzk::component::MemberDefOp, llzk::component::MemberDefOpAdaptor, llzk::component::MemberReadOp, llzk::component::MemberReadOpAdaptor, llzk::component::MemberWriteOpAdaptor, llzk::component::StructDefOpAdaptor, llzk::component::StructType, llzk::constrain::EmitContainmentOp, llzk::constrain::EmitContainmentOpAdaptor, llzk::constrain::EmitEqualityOpAdaptor, llzk::felt::AddFeltOpAdaptor, llzk::felt::AndFeltOpAdaptor, llzk::felt::DivFeltOpAdaptor, llzk::felt::FeltConstantOpAdaptor, llzk::felt::FeltType, llzk::felt::InvFeltOpAdaptor, llzk::felt::MulFeltOpAdaptor, llzk::felt::NegFeltOpAdaptor, llzk::felt::NotFeltOpAdaptor, llzk::felt::OrFeltOpAdaptor, llzk::felt::PowFeltOpAdaptor, llzk::felt::ShlFeltOpAdaptor, llzk::felt::ShrFeltOpAdaptor, llzk::felt::SignedIntDivFeltOpAdaptor, llzk::felt::SignedModFeltOpAdaptor, llzk::felt::SubFeltOpAdaptor, llzk::felt::UnsignedIntDivFeltOpAdaptor, llzk::felt::UnsignedModFeltOpAdaptor, llzk::felt::XorFeltOpAdaptor, llzk::function::CallOpAdaptor, llzk::function::FuncDefOp, llzk::function::FuncDefOpAdaptor, llzk::function::ReturnOp, llzk::function::ReturnOpAdaptor, llzk::global::GlobalDefOp, llzk::global::GlobalDefOpAdaptor, llzk::global::GlobalReadOpAdaptor, llzk::global::GlobalWriteOpAdaptor, llzk::include::IncludeOpAdaptor, llzk::NonDetOpAdaptor, llzk::pod::NewPodOp, llzk::pod::NewPodOpAdaptor, llzk::pod::PodType, llzk::pod::ReadPodOp, llzk::pod::ReadPodOpAdaptor, llzk::pod::WritePodOp, llzk::pod::WritePodOpAdaptor, llzk::polymorphic::ApplyMapOp, llzk::polymorphic::ApplyMapOpAdaptor, llzk::polymorphic::ConstReadOpAdaptor, llzk::polymorphic::TemplateExprOpAdaptor, llzk::polymorphic::TemplateOpAdaptor, llzk::polymorphic::TemplateParamOpAdaptor, llzk::polymorphic::UnifiableCastOp, llzk::polymorphic::UnifiableCastOpAdaptor, llzk::polymorphic::YieldOpAdaptor, llzk::ram::LoadOpAdaptor, llzk::ram::StoreOpAdaptor, llzk::smt::AndOpAdaptor, llzk::smt::ApplyFuncOpAdaptor, llzk::smt::ArrayBroadcastOpAdaptor, llzk::smt::ArraySelectOpAdaptor, llzk::smt::ArrayStoreOpAdaptor, llzk::smt::ArrayType, llzk::smt::AssertOpAdaptor, llzk::smt::BitVectorType, llzk::smt::BoolConstantOpAdaptor, llzk::smt::BV2IntOpAdaptor, llzk::smt::BVAddOpAdaptor, llzk::smt::BVAndOpAdaptor, llzk::smt::BVAShrOpAdaptor, llzk::smt::BVCmpOpAdaptor, llzk::smt::BVConstantOpAdaptor, llzk::smt::BVLShrOpAdaptor, llzk::smt::BVMulOpAdaptor, llzk::smt::BVNegOpAdaptor, llzk::smt::BVNotOpAdaptor, llzk::smt::BVOrOpAdaptor, llzk::smt::BVSDivOpAdaptor, llzk::smt::BVShlOpAdaptor, llzk::smt::BVSModOpAdaptor, llzk::smt::BVSRemOpAdaptor, llzk::smt::BVUDivOpAdaptor, llzk::smt::BVURemOpAdaptor, llzk::smt::BVXOrOpAdaptor, llzk::smt::CheckOpAdaptor, llzk::smt::ConcatOpAdaptor, llzk::smt::DeclareFunOpAdaptor, llzk::smt::DistinctOp, llzk::smt::DistinctOpAdaptor, llzk::smt::EqOp, llzk::smt::EqOpAdaptor, llzk::smt::ExistsOp, llzk::smt::ExistsOpAdaptor, llzk::smt::ExtractOp, llzk::smt::ExtractOpAdaptor, llzk::smt::ForallOp, llzk::smt::ForallOpAdaptor, llzk::smt::ImpliesOpAdaptor, llzk::smt::Int2BVOpAdaptor, llzk::smt::IntAbsOpAdaptor, llzk::smt::IntAddOpAdaptor, llzk::smt::IntCmpOpAdaptor, llzk::smt::IntConstantOpAdaptor, llzk::smt::IntDivOpAdaptor, llzk::smt::IntModOpAdaptor, llzk::smt::IntMulOpAdaptor, llzk::smt::IntNegOpAdaptor, llzk::smt::IntSubOpAdaptor, llzk::smt::IteOpAdaptor, llzk::smt::NotOpAdaptor, llzk::smt::OrOpAdaptor, llzk::smt::PopOpAdaptor, llzk::smt::PushOpAdaptor, llzk::smt::RepeatOp, llzk::smt::RepeatOpAdaptor, llzk::smt::ResetOpAdaptor, llzk::smt::SetLogicOpAdaptor, llzk::smt::SMTFuncType, llzk::smt::SolverOpAdaptor, llzk::smt::SortType, llzk::smt::XOrOpAdaptor, llzk::smt::YieldOpAdaptor, llzk::string::LitStringOpAdaptor
• verifyFieldDefined() : llzk::Field
• verifyInherentAttrs() : llzk::array::CreateArrayOp, llzk::boolean::AssertOp, llzk::boolean::CmpOp, llzk::component::MemberDefOp, llzk::component::MemberReadOp, llzk::component::MemberWriteOp, llzk::component::StructDefOp, llzk::felt::FeltConstantOp, llzk::function::CallOp, llzk::function::FuncDefOp, llzk::global::GlobalDefOp, llzk::global::GlobalReadOp, llzk::global::GlobalWriteOp, llzk::include::IncludeOp, llzk::pod::NewPodOp, llzk::pod::ReadPodOp, llzk::pod::WritePodOp, llzk::polymorphic::ApplyMapOp, llzk::polymorphic::ConstReadOp, llzk::polymorphic::TemplateExprOp, llzk::polymorphic::TemplateOp, llzk::polymorphic::TemplateParamOp, llzk::smt::BoolConstantOp, llzk::smt::BV2IntOp, llzk::smt::BVCmpOp, llzk::smt::BVConstantOp, llzk::smt::DeclareFunOp, llzk::smt::ExistsOp, llzk::smt::ExtractOp, llzk::smt::ForallOp, llzk::smt::IntCmpOp, llzk::smt::IntConstantOp, llzk::smt::PopOp, llzk::smt::PushOp, llzk::smt::SetLogicOp, llzk::string::LitStringOp
• verifyInvariants() : llzk::array::ArrayLengthOp, llzk::array::ArrayType, llzk::array::CreateArrayOp, llzk::array::ExtractArrayOp, llzk::array::InsertArrayOp, llzk::array::ReadArrayOp, llzk::array::WriteArrayOp, llzk::boolean::AndBoolOp, llzk::boolean::AssertOp, llzk::boolean::CmpOp, llzk::boolean::NotBoolOp, llzk::boolean::OrBoolOp, llzk::boolean::XorBoolOp, llzk::cast::FeltToIndexOp, llzk::cast::IntToFeltOp, llzk::component::CreateStructOp, llzk::component::MemberDefOp, llzk::component::MemberReadOp, llzk::component::MemberWriteOp, llzk::component::StructDefOp, llzk::component::StructType, llzk::constrain::EmitContainmentOp, llzk::constrain::EmitEqualityOp, llzk::felt::AddFeltOp, llzk::felt::AndFeltOp, llzk::felt::DivFeltOp, llzk::felt::FeltConstantOp, llzk::felt::FeltType, llzk::felt::InvFeltOp, llzk::felt::MulFeltOp, llzk::felt::NegFeltOp, llzk::felt::NotFeltOp, 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, llzk::function::CallOp, llzk::function::FuncDefOp, llzk::function::ReturnOp, llzk::global::GlobalDefOp, llzk::global::GlobalReadOp, llzk::global::GlobalWriteOp, llzk::include::IncludeOp, llzk::NonDetOp, llzk::pod::NewPodOp, llzk::pod::PodType, llzk::pod::ReadPodOp, llzk::pod::WritePodOp, llzk::polymorphic::ApplyMapOp, llzk::polymorphic::ConstReadOp, llzk::polymorphic::TemplateExprOp, llzk::polymorphic::TemplateOp, llzk::polymorphic::TemplateParamOp, llzk::polymorphic::UnifiableCastOp, llzk::polymorphic::YieldOp, llzk::ram::LoadOp, llzk::ram::StoreOp, llzk::smt::AndOp, llzk::smt::ApplyFuncOp, llzk::smt::ArrayBroadcastOp, llzk::smt::ArraySelectOp, llzk::smt::ArrayStoreOp, llzk::smt::ArrayType, llzk::smt::AssertOp, llzk::smt::BitVectorType, llzk::smt::BoolConstantOp, llzk::smt::BV2IntOp, llzk::smt::BVAddOp, llzk::smt::BVAndOp, llzk::smt::BVAShrOp, llzk::smt::BVCmpOp, llzk::smt::BVConstantOp, llzk::smt::BVLShrOp, llzk::smt::BVMulOp, llzk::smt::BVNegOp, llzk::smt::BVNotOp, llzk::smt::BVOrOp, llzk::smt::BVSDivOp, llzk::smt::BVShlOp, llzk::smt::BVSModOp, llzk::smt::BVSRemOp, llzk::smt::BVUDivOp, llzk::smt::BVURemOp, llzk::smt::BVXOrOp, llzk::smt::CheckOp, llzk::smt::ConcatOp, llzk::smt::DeclareFunOp, llzk::smt::DistinctOp, llzk::smt::EqOp, llzk::smt::ExistsOp, llzk::smt::ExtractOp, llzk::smt::ForallOp, llzk::smt::ImpliesOp, llzk::smt::Int2BVOp, llzk::smt::IntAbsOp, llzk::smt::IntAddOp, llzk::smt::IntCmpOp, llzk::smt::IntConstantOp, llzk::smt::IntDivOp, llzk::smt::IntModOp, llzk::smt::IntMulOp, llzk::smt::IntNegOp, llzk::smt::IntSubOp, llzk::smt::IteOp, llzk::smt::NotOp, llzk::smt::OrOp, llzk::smt::PopOp, llzk::smt::PushOp, llzk::smt::RepeatOp, llzk::smt::ResetOp, llzk::smt::SetLogicOp, llzk::smt::SMTFuncType, llzk::smt::SolverOp, llzk::smt::SortType, llzk::smt::XOrOp, llzk::smt::YieldOp, llzk::string::LitStringOp
• verifyInvariantsImpl() : llzk::array::ArrayLengthOp, llzk::array::CreateArrayOp, llzk::array::ExtractArrayOp, llzk::array::InsertArrayOp, llzk::array::ReadArrayOp, llzk::array::WriteArrayOp, llzk::boolean::AndBoolOp, llzk::boolean::AssertOp, llzk::boolean::CmpOp, llzk::boolean::NotBoolOp, llzk::boolean::OrBoolOp, llzk::boolean::XorBoolOp, llzk::cast::FeltToIndexOp, llzk::cast::IntToFeltOp, llzk::component::CreateStructOp, llzk::component::MemberDefOp, llzk::component::MemberReadOp, llzk::component::MemberWriteOp, llzk::component::StructDefOp, llzk::constrain::EmitContainmentOp, llzk::constrain::EmitEqualityOp, llzk::felt::AddFeltOp, llzk::felt::AndFeltOp, llzk::felt::DivFeltOp, llzk::felt::FeltConstantOp, llzk::felt::InvFeltOp, llzk::felt::MulFeltOp, llzk::felt::NegFeltOp, llzk::felt::NotFeltOp, 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, llzk::function::CallOp, llzk::function::FuncDefOp, llzk::function::ReturnOp, llzk::global::GlobalDefOp, llzk::global::GlobalReadOp, llzk::global::GlobalWriteOp, llzk::include::IncludeOp, llzk::NonDetOp, llzk::pod::NewPodOp, llzk::pod::ReadPodOp, llzk::pod::WritePodOp, llzk::polymorphic::ApplyMapOp, llzk::polymorphic::ConstReadOp, llzk::polymorphic::TemplateExprOp, llzk::polymorphic::TemplateOp, llzk::polymorphic::TemplateParamOp, llzk::polymorphic::UnifiableCastOp, llzk::polymorphic::YieldOp, llzk::ram::LoadOp, llzk::ram::StoreOp, llzk::smt::AndOp, llzk::smt::ApplyFuncOp, llzk::smt::ArrayBroadcastOp, llzk::smt::ArraySelectOp, llzk::smt::ArrayStoreOp, llzk::smt::AssertOp, llzk::smt::BoolConstantOp, llzk::smt::BV2IntOp, llzk::smt::BVAddOp, llzk::smt::BVAndOp, llzk::smt::BVAShrOp, llzk::smt::BVCmpOp, llzk::smt::BVConstantOp, llzk::smt::BVLShrOp, llzk::smt::BVMulOp, llzk::smt::BVNegOp, llzk::smt::BVNotOp, llzk::smt::BVOrOp, llzk::smt::BVSDivOp, llzk::smt::BVShlOp, llzk::smt::BVSModOp, llzk::smt::BVSRemOp, llzk::smt::BVUDivOp, llzk::smt::BVURemOp, llzk::smt::BVXOrOp, llzk::smt::CheckOp, llzk::smt::ConcatOp, llzk::smt::DeclareFunOp, llzk::smt::DistinctOp, llzk::smt::EqOp, llzk::smt::ExistsOp, llzk::smt::ExtractOp, llzk::smt::ForallOp, llzk::smt::ImpliesOp, llzk::smt::Int2BVOp, llzk::smt::IntAbsOp, llzk::smt::IntAddOp, llzk::smt::IntCmpOp, llzk::smt::IntConstantOp, llzk::smt::IntDivOp, llzk::smt::IntModOp, llzk::smt::IntMulOp, llzk::smt::IntNegOp, llzk::smt::IntSubOp, llzk::smt::IteOp, llzk::smt::NotOp, llzk::smt::OrOp, llzk::smt::PopOp, llzk::smt::PushOp, llzk::smt::RepeatOp, llzk::smt::ResetOp, llzk::smt::SetLogicOp, llzk::smt::SolverOp, llzk::smt::XOrOp, llzk::smt::YieldOp, llzk::string::LitStringOp
• verifyRegions() : llzk::component::StructDefOp, llzk::polymorphic::TemplateExprOp, llzk::smt::CheckOp, llzk::smt::ExistsOp, llzk::smt::ForallOp, llzk::smt::SolverOp
• verifyRegionTrait() : llzk::LLZKSymbolTableImplTrait< TypeClass >
• verifySymbolRef() : llzk::component::StructType
• verifySymbolUses() : llzk::array::ArrayLengthOp, llzk::array::CreateArrayOp, llzk::array::ExtractArrayOp, llzk::array::InsertArrayOp, llzk::array::ReadArrayOp, llzk::array::WriteArrayOp, llzk::component::CreateStructOp, llzk::component::MemberDefOp, llzk::component::MemberReadOp, llzk::component::MemberWriteOp, llzk::constrain::EmitContainmentOp, llzk::constrain::EmitEqualityOp, llzk::function::CallOp, llzk::function::FuncDefOp, llzk::global::GlobalDefOp, llzk::global::GlobalReadOp, llzk::global::GlobalWriteOp, llzk::polymorphic::ConstReadOp, llzk::polymorphic::TemplateExprOp, llzk::polymorphic::TemplateParamOp
• verifyTemplateParamCompatibility() : llzk::function::CallOp
• verifyTemplateParamsMatchInferred() : llzk::function::CallOp
• verifyTrait() : llzk::component::InStructFunctionNamed< FuncName >::Impl< TypeClass >, llzk::component::SetFuncAllowAttrs< TypeClass >, llzk::function::ConstraintGen< TypeClass >, llzk::function::NotFieldNative< TypeClass >, llzk::function::WitnessGen< TypeClass >, llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass >
• viaInclude() : llzk::SymbolLookupResult< T >, llzk::SymbolLookupResultUntyped
• visit() : llzk::dataflow::AbstractSparseForwardDataFlowAnalysis, llzk::PredecessorLattice
• visitCallControlFlowTransfer() : llzk::PredecessorAnalysis
• visitExternalCall() : llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >, llzk::SourceRefAnalysis
• visitExternalCallImpl() : llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
• visitInvalidSMTOp() : llzk::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >
• visitInvalidSMTType() : llzk::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >
• visitNonControlFlowArguments() : llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >
• visitNonControlFlowArgumentsImpl() : llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
• visitOperation() : llzk::dataflow::SparseForwardDataFlowAnalysis< StateT >, llzk::IntervalDataFlowAnalysis, llzk::MemberOverwriteAnalysis, llzk::PredecessorAnalysis, llzk::SourceRefAnalysis
• visitOperationImpl() : llzk::dataflow::AbstractSparseForwardDataFlowAnalysis
• visitRegionBranchControlFlowTransfer() : llzk::PredecessorAnalysis
• visitUnhandledSMTOp() : llzk::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs >
• visitUnhandledSMTType() : llzk::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs >