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::FeltToIndexOp, llzk::cast::FeltToIndexOpAdaptor, llzk::cast::IntToFeltOpAdaptor, llzk::component::CreateStructOpAdaptor, llzk::component::FieldDefOpAdaptor, llzk::component::FieldReadOp, llzk::component::FieldReadOpAdaptor, llzk::component::FieldWriteOpAdaptor, llzk::component::StructDefOpAdaptor, llzk::component::StructType, llzk::constrain::EmitContainmentOpAdaptor, llzk::constrain::EmitEqualityOpAdaptor, llzk::felt::AddFeltOpAdaptor, llzk::felt::AndFeltOpAdaptor, llzk::felt::DivFeltOpAdaptor, llzk::felt::FeltConstantOpAdaptor, llzk::felt::FeltNonDetOpAdaptor, llzk::felt::InvFeltOpAdaptor, llzk::felt::ModFeltOpAdaptor, llzk::felt::MulFeltOpAdaptor, llzk::felt::NegFeltOpAdaptor, llzk::felt::NotFeltOpAdaptor, llzk::felt::OrFeltOpAdaptor, llzk::felt::ShlFeltOpAdaptor, llzk::felt::ShrFeltOpAdaptor, llzk::felt::SubFeltOpAdaptor, 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::polymorphic::ApplyMapOp, llzk::polymorphic::ApplyMapOpAdaptor, llzk::polymorphic::ConstReadOpAdaptor, llzk::polymorphic::UnifiableCastOp, llzk::polymorphic::UnifiableCastOpAdaptor, llzk::string::LitStringOpAdaptor, llzk::undef::UndefOpAdaptor
• verifyInherentAttrs() : llzk::array::CreateArrayOp, llzk::boolean::AssertOp, llzk::boolean::CmpOp, llzk::component::FieldDefOp, llzk::component::FieldReadOp, llzk::component::FieldWriteOp, 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::polymorphic::ApplyMapOp, llzk::polymorphic::ConstReadOp, llzk::string::LitStringOp
• verifyInvariants() : 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::FieldDefOp, llzk::component::FieldReadOp, llzk::component::FieldWriteOp, llzk::component::StructDefOp, llzk::constrain::EmitContainmentOp, llzk::constrain::EmitEqualityOp, llzk::felt::AddFeltOp, llzk::felt::AndFeltOp, llzk::felt::DivFeltOp, llzk::felt::FeltConstantOp, llzk::felt::FeltNonDetOp, llzk::felt::InvFeltOp, llzk::felt::ModFeltOp, llzk::felt::MulFeltOp, llzk::felt::NegFeltOp, llzk::felt::NotFeltOp, llzk::felt::OrFeltOp, llzk::felt::ShlFeltOp, llzk::felt::ShrFeltOp, llzk::felt::SubFeltOp, 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::polymorphic::ApplyMapOp, llzk::polymorphic::ConstReadOp, llzk::polymorphic::UnifiableCastOp, llzk::string::LitStringOp, llzk::undef::UndefOp
• 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::FieldDefOp, llzk::component::FieldReadOp, llzk::component::FieldWriteOp, llzk::component::StructDefOp, llzk::constrain::EmitContainmentOp, llzk::constrain::EmitEqualityOp, llzk::felt::AddFeltOp, llzk::felt::AndFeltOp, llzk::felt::DivFeltOp, llzk::felt::FeltConstantOp, llzk::felt::FeltNonDetOp, llzk::felt::InvFeltOp, llzk::felt::ModFeltOp, llzk::felt::MulFeltOp, llzk::felt::NegFeltOp, llzk::felt::NotFeltOp, llzk::felt::OrFeltOp, llzk::felt::ShlFeltOp, llzk::felt::ShrFeltOp, llzk::felt::SubFeltOp, 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::polymorphic::ApplyMapOp, llzk::polymorphic::ConstReadOp, llzk::polymorphic::UnifiableCastOp, llzk::string::LitStringOp, llzk::undef::UndefOp
• verifyRegions() : llzk::component::StructDefOp
• 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::FieldDefOp, llzk::component::FieldReadOp, llzk::component::FieldWriteOp, llzk::component::StructDefOp, llzk::constrain::EmitContainmentOp, llzk::constrain::EmitEqualityOp, llzk::function::CallOp, llzk::function::FuncDefOp, llzk::global::GlobalDefOp, llzk::global::GlobalReadOp, llzk::global::GlobalWriteOp, llzk::polymorphic::ConstReadOp
• verifyTrait() : llzk::component::InStructFunctionNamed< FuncName >::Impl< TypeClass >, llzk::component::SetFuncAllowAttrs< TypeClass >, llzk::function::ConstraintGen< TypeClass >, llzk::function::WitnessGen< TypeClass >, llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass >
• viaInclude() : llzk::SymbolLookupResult< T >, llzk::SymbolLookupResultUntyped
• visit() : llzk::dataflow::AbstractDenseForwardDataFlowAnalysis
• visitCallControlFlowTransfer() : llzk::ConstrainRefAnalysis, llzk::dataflow::AbstractDenseForwardDataFlowAnalysis, llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >, llzk::IntervalDataFlowAnalysis
• visitOperation() : llzk::ConstrainRefAnalysis, llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >, llzk::IntervalDataFlowAnalysis
• visitOperationImpl() : llzk::dataflow::AbstractDenseForwardDataFlowAnalysis, llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >
• visitRegionBranchControlFlowTransfer() : llzk::dataflow::AbstractDenseForwardDataFlowAnalysis, llzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >
• visitRegionBranchOperation() : llzk::dataflow::AbstractDenseForwardDataFlowAnalysis