| Cmlir::dataflow::AbstractDenseLattice | |
| Cllzk::MemberOverwriteLattice | |
| Cllzk::PredecessorLattice | |
| Cllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy > | |
| Cllzk::dataflow::AbstractLatticeValue< IntervalAnalysisLatticeValue, ExpressionValue > | |
| Cllzk::IntervalAnalysisLatticeValue | |
| Cllzk::dataflow::AbstractLatticeValue< SourceRefLatticeValue, SourceRefSet > | |
| Cllzk::SourceRefLatticeValue | A value at a given point of the SourceRefLattice |
| Cdataflow::AbstractSparseLattice | |
| Cllzk::IntervalAnalysisLattice | |
| Cllzk::SourceRefLattice | Sparse SSA-value lattice for SourceRef propagation |
| Cllzk::felt::detail::AddFeltOpGenericAdaptorBase | |
| Cllzk::felt::AddFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::AddFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::AddFeltOpAdaptor | |
| Cllzk::felt::AddFeltOpGenericAdaptor< RangeT > | |
| Cllzk::boolean::detail::AndBoolOpGenericAdaptorBase | |
| Cllzk::boolean::AndBoolOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::AndBoolOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::AndBoolOpAdaptor | |
| Cllzk::boolean::AndBoolOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::AndFeltOpGenericAdaptorBase | |
| Cllzk::felt::AndFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::AndFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::AndFeltOpAdaptor | |
| Cllzk::felt::AndFeltOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::AndOpGenericAdaptorBase | |
| Cllzk::smt::AndOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::AndOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::AndOpAdaptor | |
| Cllzk::smt::AndOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::ApplyFuncOpGenericAdaptorBase | |
| Cllzk::smt::ApplyFuncOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ApplyFuncOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ApplyFuncOpAdaptor | |
| Cllzk::smt::ApplyFuncOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase | |
| Cllzk::polymorphic::ApplyMapOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::ApplyMapOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::ApplyMapOpAdaptor | |
| Cllzk::polymorphic::ApplyMapOpGenericAdaptor< RangeT > | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits | |
| Cllzk::smt::detail::ArrayBroadcastOpGenericAdaptorBase | |
| Cllzk::smt::ArrayBroadcastOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ArrayBroadcastOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ArrayBroadcastOpAdaptor | |
| Cllzk::smt::ArrayBroadcastOpGenericAdaptor< RangeT > | |
| Cllzk::array::ArrayIndexGen | Helper for converting between linear and multi-dimensional indexing with checks to ensure indices are in range for the ArrayType |
| Cllzk::array::detail::ArrayLengthOpGenericAdaptorBase | |
| Cllzk::array::ArrayLengthOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::ArrayLengthOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::ArrayLengthOpAdaptor | |
| Cllzk::array::ArrayLengthOpGenericAdaptor< RangeT > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits | |
| Cllzk::smt::detail::ArraySelectOpGenericAdaptorBase | |
| Cllzk::smt::ArraySelectOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ArraySelectOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ArraySelectOpAdaptor | |
| Cllzk::smt::ArraySelectOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::ArrayStoreOpGenericAdaptorBase | |
| Cllzk::smt::ArrayStoreOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ArrayStoreOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ArrayStoreOpAdaptor | |
| Cllzk::smt::ArrayStoreOpGenericAdaptor< RangeT > | |
| Cllzk::boolean::detail::AssertOpGenericAdaptorBase | |
| Cllzk::boolean::AssertOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::AssertOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::AssertOpAdaptor | |
| Cllzk::boolean::AssertOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::AssertOpGenericAdaptorBase | |
| Cllzk::smt::AssertOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::AssertOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::AssertOpAdaptor | |
| Cllzk::smt::AssertOpGenericAdaptor< RangeT > | |
| Cllzk::AuxAssignment | |
| Cllzk::BaseBuilder | |
| Cllzk::ModuleLikeBuilder< ModuleBuilder > | |
| Cllzk::ModuleBuilder | Builds out a LLZK-compliant module and provides utilities for populating that module |
| Cllzk::ModuleLikeBuilder< TemplateBuilder > | |
| Cllzk::TemplateBuilder | Builds out a LLZK-compliant template and provides utilities for populating that template |
| Cllzk::ModuleLikeBuilder< Derived > | |
| Cbasic_parser | |
| Cllvm::cl::parser< APInt > | |
| Cllzk::smt::detail::BoolConstantOpGenericAdaptorBase | |
| Cllzk::smt::BoolConstantOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BoolConstantOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BoolConstantOpAdaptor | |
| Cllzk::smt::BoolConstantOpGenericAdaptor< RangeT > | |
| Cllzk::BuildShortTypeString | Note: If any symbol refs in an input Type/Attribute use any of the special characters that this class generates, they are not escaped |
| Cllzk::smt::detail::BV2IntOpGenericAdaptorBase | |
| Cllzk::smt::BV2IntOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BV2IntOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BV2IntOpAdaptor | |
| Cllzk::smt::BV2IntOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVAddOpGenericAdaptorBase | |
| Cllzk::smt::BVAddOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVAddOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVAddOpAdaptor | |
| Cllzk::smt::BVAddOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVAndOpGenericAdaptorBase | |
| Cllzk::smt::BVAndOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVAndOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVAndOpAdaptor | |
| Cllzk::smt::BVAndOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVAShrOpGenericAdaptorBase | |
| Cllzk::smt::BVAShrOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVAShrOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVAShrOpAdaptor | |
| Cllzk::smt::BVAShrOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVCmpOpGenericAdaptorBase | |
| Cllzk::smt::BVCmpOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVCmpOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVCmpOpAdaptor | |
| Cllzk::smt::BVCmpOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVConstantOpGenericAdaptorBase | |
| Cllzk::smt::BVConstantOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVConstantOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVConstantOpAdaptor | |
| Cllzk::smt::BVConstantOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVLShrOpGenericAdaptorBase | |
| Cllzk::smt::BVLShrOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVLShrOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVLShrOpAdaptor | |
| Cllzk::smt::BVLShrOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVMulOpGenericAdaptorBase | |
| Cllzk::smt::BVMulOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVMulOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVMulOpAdaptor | |
| Cllzk::smt::BVMulOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVNegOpGenericAdaptorBase | |
| Cllzk::smt::BVNegOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVNegOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVNegOpAdaptor | |
| Cllzk::smt::BVNegOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVNotOpGenericAdaptorBase | |
| Cllzk::smt::BVNotOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVNotOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVNotOpAdaptor | |
| Cllzk::smt::BVNotOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVOrOpGenericAdaptorBase | |
| Cllzk::smt::BVOrOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVOrOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVOrOpAdaptor | |
| Cllzk::smt::BVOrOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVSDivOpGenericAdaptorBase | |
| Cllzk::smt::BVSDivOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVSDivOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVSDivOpAdaptor | |
| Cllzk::smt::BVSDivOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVShlOpGenericAdaptorBase | |
| Cllzk::smt::BVShlOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVShlOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVShlOpAdaptor | |
| Cllzk::smt::BVShlOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVSModOpGenericAdaptorBase | |
| Cllzk::smt::BVSModOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVSModOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVSModOpAdaptor | |
| Cllzk::smt::BVSModOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVSRemOpGenericAdaptorBase | |
| Cllzk::smt::BVSRemOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVSRemOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVSRemOpAdaptor | |
| Cllzk::smt::BVSRemOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVUDivOpGenericAdaptorBase | |
| Cllzk::smt::BVUDivOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVUDivOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVUDivOpAdaptor | |
| Cllzk::smt::BVUDivOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVURemOpGenericAdaptorBase | |
| Cllzk::smt::BVURemOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVURemOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVURemOpAdaptor | |
| Cllzk::smt::BVURemOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::BVXOrOpGenericAdaptorBase | |
| Cllzk::smt::BVXOrOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::BVXOrOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::BVXOrOpAdaptor | |
| Cllzk::smt::BVXOrOpGenericAdaptor< RangeT > | |
| Cmlir::BytecodeDialectInterface | |
| Cllzk::LLZKDialectBytecodeInterface< StructDialect > | |
| Cllzk::component::StructDialectBytecodeInterface | Implement version upgrade for StructDialect |
| Cllzk::LLZKDialectBytecodeInterface< DialectTy > | This implements the bytecode interface for the LLZK dialect |
| Cllzk::CallGraph | This is a port of mlir::CallGraph that has been adapted to use the custom symbol lookup helpers (see SymbolHelper.h) |
| Cllzk::CallGraphAnalysis | An analysis wrapper to compute the CallGraph for a Module |
| Cllzk::CallGraphNode | This is a simple port of the mlir::CallGraphNode with llzk::CallGraph as a friend class, for mlir::CallGraphNode has a private constructor and can only be constructed by mlir::CallGraph |
| Cllzk::CallGraphReachabilityAnalysis | Lazily-constructed reachability analysis |
| Cllzk::function::detail::CallOpGenericAdaptorBase | |
| Cllzk::function::CallOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::function::CallOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::function::CallOpAdaptor | |
| Cllzk::function::CallOpGenericAdaptor< RangeT > | |
| CCAPITest | |
| CArrayDialectLinkTests | |
| CArrayOperationLinkTests | |
| CArrayTypeLinkTests | |
| CBoolAttributeLinkTests | |
| CBoolDialectLinkTests | |
| CBoolEnumLinkTests | |
| CBoolOperationLinkTests | |
| CCastDialectLinkTests | |
| CCastOperationLinkTests | |
| CConstrainDialectLinkTests | |
| CConstrainOperationLinkTests | |
| CFeltAttributeLinkTests | |
| CFeltDialectLinkTests | |
| CFeltOperationLinkTests | |
| CFeltTypeLinkTests | |
| CFunctionAttributeLinkTests | |
| CFunctionDialectLinkTests | |
| CFunctionOperationLinkTests | |
| CGlobalDialectLinkTests | |
| CGlobalOperationLinkTests | |
| CIncludeDialectLinkTests | |
| CIncludeOperationLinkTests | |
| CLlzkAttributeLinkTests | |
| CLlzkDialectLinkTests | |
| CLlzkOperationLinkTests | |
| CPodAttributeLinkTests | |
| CPodDialectLinkTests | |
| CPodOperationLinkTests | |
| CPodTypeLinkTests | |
| CPolyDialectLinkTests | |
| CPolyOperationLinkTests | |
| CPolyTypeLinkTests | |
| CRamDialectLinkTests | |
| CRamOperationLinkTests | |
| CStringDialectLinkTests | |
| CStringOperationLinkTests | |
| CStringTypeLinkTests | |
| CStructDialectLinkTests | |
| CStructOperationLinkTests | |
| CStructTypeLinkTests | |
| Cllzk::CDGAnalysisContext | Parameters and shared objects to pass to child analyses |
| Cllzk::smt::detail::CheckOpGenericAdaptorBase | |
| Cllzk::smt::CheckOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::CheckOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::CheckOpAdaptor | |
| Cllzk::smt::CheckOpGenericAdaptor< RangeT > | |
| CClangLexerContext | RAII wrapper for Clang lexer infrastructure |
| Cllzk::boolean::detail::CmpOpGenericAdaptorBase | |
| Cllzk::boolean::CmpOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::CmpOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::CmpOpAdaptor | |
| Cllzk::boolean::CmpOpGenericAdaptor< RangeT > | |
| Cllzk::CommutativeMatcher< LhsMatcher, RhsMatcher, OpTypes > | This matcher will either match on lhs op rhs or rhs op lhs |
| Cllzk::ComputeConstrainToProductPassOptions | |
| Cllzk::smt::detail::ConcatOpGenericAdaptorBase | |
| Cllzk::smt::ConcatOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ConcatOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ConcatOpAdaptor | |
| Cllzk::smt::ConcatOpGenericAdaptor< RangeT > | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::Concept | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::Concept | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::Concept | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Concept | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Concept | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::Concept | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Concept | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Model< ConcreteOp > | |
| Cllzk::ConstantCapture | Matches and optionally captures a felt constant |
| Cllzk::ConstraintDependencyGraph | A dependency graph of constraints enforced by an LLZK struct |
| Cllzk::ConstraintDependencyGraphPrinterPassOptions | |
| Cllzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits | |
| Cllzk::polymorphic::detail::ConstReadOpGenericAdaptorBase | |
| Cllzk::polymorphic::ConstReadOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::ConstReadOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::ConstReadOpAdaptor | |
| Cllzk::polymorphic::ConstReadOpGenericAdaptor< RangeT > | |
| Cllzk::array::detail::CreateArrayOpGenericAdaptorBase | |
| Cllzk::array::CreateArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::CreateArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::CreateArrayOpAdaptor | |
| Cllzk::array::CreateArrayOpGenericAdaptor< RangeT > | |
| Cllzk::component::detail::CreateStructOpGenericAdaptorBase | |
| Cllzk::component::CreateStructOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::CreateStructOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::CreateStructOpAdaptor | |
| Cllzk::component::CreateStructOpGenericAdaptor< RangeT > | |
| Cmlir::DataFlowAnalysis | |
| Cllzk::dataflow::AbstractSparseForwardDataFlowAnalysis | LLZK: This class has been ported from the MLIR DenseAnalysis utilities to allow for the use of custom LLZK symbol lookup logic |
| Cllzk::dataflow::SparseForwardDataFlowAnalysis< Lattice > | |
| Cllzk::dataflow::SparseForwardDataFlowAnalysis< IntervalAnalysisLattice > | |
| Cllzk::IntervalDataFlowAnalysis | |
| Cllzk::dataflow::SparseForwardDataFlowAnalysis< SourceRefLattice > | |
| Cllzk::SourceRefAnalysis | The dataflow analysis that computes the set of references that LLZK operations use and produce |
| Cllzk::dataflow::SparseForwardDataFlowAnalysis< StateT > | A sparse forward data-flow analysis for propagating SSA value lattices across the IR by implementing transfer functions for operations |
| Cllzk::smt::detail::DeclareFunOpGenericAdaptorBase | |
| Cllzk::smt::DeclareFunOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::DeclareFunOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::DeclareFunOpAdaptor | |
| Cllzk::smt::DeclareFunOpGenericAdaptor< RangeT > | |
| CDefaultDOTGraphTraits | |
| Cllvm::DOTGraphTraits< const llzk::SymbolDefTreeNode * > | |
| Cllvm::DOTGraphTraits< const llzk::SymbolDefTree * > | |
| Cllvm::DOTGraphTraits< const llzk::SymbolUseGraphNode * > | |
| Cllvm::DOTGraphTraits< const llzk::SymbolUseGraph * > | |
| Cmlir::dataflow::DenseForwardDataFlowAnalysis | |
| Cllzk::MemberOverwriteAnalysis | |
| Cllzk::PredecessorAnalysis | |
| Cllvm::DenseMapInfo< llzk::ExpressionValue > | |
| Cllvm::DenseMapInfo< llzk::Side > | |
| Cllvm::DenseMapInfo< llzk::SourceRef > | |
| Cllvm::DenseMapInfo< OperationComparator > | |
| Cllvm::DenseMapInfo< ReferenceID > | Allows ReferenceID to be a DenseMap key |
| Cllvm::DenseMapInfo<::llzk::boolean::FeltCmpPredicate > | |
| Cllvm::DenseMapInfo<::llzk::OutputStream > | |
| Cllvm::DenseMapInfo<::llzk::polymorphic::StructCleanupMode > | |
| Cllvm::DenseMapInfo<::llzk::smt::BVCmpPredicate > | |
| Cllvm::DenseMapInfo<::llzk::smt::IntPredicate > | |
| Cmlir::Dialect | |
| Cllzk::LLZKDialect | |
| Cllzk::array::ArrayDialect | |
| Cllzk::boolean::BoolDialect | |
| Cllzk::cast::CastDialect | |
| Cllzk::component::StructDialect | |
| Cllzk::constrain::ConstrainDialect | |
| Cllzk::felt::FeltDialect | |
| Cllzk::function::FunctionDialect | |
| Cllzk::global::GlobalDialect | |
| Cllzk::include::IncludeDialect | |
| Cllzk::pod::PODDialect | |
| Cllzk::polymorphic::PolymorphicDialect | |
| Cllzk::ram::RAMDialect | |
| Cllzk::smt::SMTDialect | |
| Cllzk::string::StringDialect | |
| Cmlir::DialectVersion | |
| Cllzk::LLZKDialectVersion | |
| Cllzk::smt::detail::DistinctOpGenericAdaptorBase | |
| Cllzk::smt::DistinctOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::DistinctOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::DistinctOpAdaptor | |
| Cllzk::smt::DistinctOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::DivFeltOpGenericAdaptorBase | |
| Cllzk::felt::DivFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::DivFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::DivFeltOpAdaptor | |
| Cllzk::felt::DivFeltOpGenericAdaptor< RangeT > | |
| Cllzk::CallGraphNode::Edge | This class represents a directed edge between two nodes in the callgraph |
| Cllzk::constrain::detail::EmitContainmentOpGenericAdaptorBase | |
| Cllzk::constrain::EmitContainmentOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::constrain::EmitContainmentOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::constrain::EmitContainmentOpAdaptor | |
| Cllzk::constrain::EmitContainmentOpGenericAdaptor< RangeT > | |
| Cllzk::constrain::detail::EmitEqualityOpGenericAdaptorBase | |
| Cllzk::constrain::EmitEqualityOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::constrain::EmitEqualityOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::constrain::EmitEqualityOpAdaptor | |
| Cllzk::constrain::EmitEqualityOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::EqOpGenericAdaptorBase | |
| Cllzk::smt::EqOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::EqOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::EqOpAdaptor | |
| Cllzk::smt::EqOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::ExistsOpGenericAdaptorBase | |
| Cllzk::smt::ExistsOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ExistsOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ExistsOpAdaptor | |
| Cllzk::smt::ExistsOpGenericAdaptor< RangeT > | |
| Cllzk::ExpressionValue | Tracks a solver expression and an interval range for that expression |
| Cllzk::array::detail::ExtractArrayOpGenericAdaptorBase | |
| Cllzk::array::ExtractArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::ExtractArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::ExtractArrayOpAdaptor | |
| Cllzk::array::ExtractArrayOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::ExtractOpGenericAdaptorBase | |
| Cllzk::smt::ExtractOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ExtractOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ExtractOpAdaptor | |
| Cllzk::smt::ExtractOpGenericAdaptor< RangeT > | |
| CExtraMethod | Structure to represent a parsed method signature from an extraClassDeclaration |
| Cllzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits | |
| Cllzk::felt::detail::FeltConstantOpGenericAdaptorBase | |
| Cllzk::felt::FeltConstantOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::FeltConstantOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::FeltConstantOpAdaptor | |
| Cllzk::felt::FeltConstantOpGenericAdaptor< RangeT > | |
| Cllzk::cast::detail::FeltToIndexOpGenericAdaptorBase | |
| Cllzk::cast::FeltToIndexOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::cast::FeltToIndexOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::cast::FeltToIndexOpAdaptor | |
| Cllzk::cast::FeltToIndexOpGenericAdaptor< RangeT > | |
| Cllzk::Field | Information about the prime finite field used for the interval analysis |
| Cmlir::FieldParser< T, typename > | |
| Cmlir::FieldParser< llvm::APInt > | |
| Cmlir::FieldParser< std::optional<::llzk::boolean::FeltCmpPredicate >, std::optional<::llzk::boolean::FeltCmpPredicate > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| Cmlir::FieldParser< std::optional<::llzk::OutputStream >, std::optional<::llzk::OutputStream > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| Cmlir::FieldParser< std::optional<::llzk::polymorphic::StructCleanupMode >, std::optional<::llzk::polymorphic::StructCleanupMode > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| Cmlir::FieldParser< std::optional<::llzk::smt::BVCmpPredicate >, std::optional<::llzk::smt::BVCmpPredicate > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| Cmlir::FieldParser< std::optional<::llzk::smt::IntPredicate >, std::optional<::llzk::smt::IntPredicate > > | Support for std::optional, useful in attribute/type definition where the enum is used as: |
| Cmlir::FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate > | |
| Cmlir::FieldParser<::llzk::OutputStream, ::llzk::OutputStream > | |
| Cmlir::FieldParser<::llzk::polymorphic::StructCleanupMode, ::llzk::polymorphic::StructCleanupMode > | |
| Cmlir::FieldParser<::llzk::smt::BVCmpPredicate, ::llzk::smt::BVCmpPredicate > | |
| Cmlir::FieldParser<::llzk::smt::IntPredicate, ::llzk::smt::IntPredicate > | |
| Cllzk::FileLineColLocComparator | |
| Cllzk::polymorphic::FlatteningPassOptions | |
| Cllzk::smt::detail::ForallOpGenericAdaptorBase | |
| Cllzk::smt::ForallOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ForallOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ForallOpAdaptor | |
| Cllzk::smt::ForallOpGenericAdaptor< RangeT > | |
| Cllzk::function::detail::FuncDefOpGenericAdaptorBase | |
| Cllzk::function::FuncDefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::function::FuncDefOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::function::FuncDefOpAdaptor | |
| Cllzk::function::FuncDefOpGenericAdaptor< RangeT > | |
| Cllzk::FunctionTypeConverter | General helper for converting a FuncDefOp by changing its input and/or result types and the associated attributes for those types |
| Cllzk::FuzzySet | Represents a set where the membership predicate can take three values: true, false, and "unknown" |
| CGenerator | Base class for C API generators |
| CHeaderGenerator | Generator for common C header file elements |
| CAttrOrTypeHeaderGenerator | Generator for attribute/type C header files |
| COpHeaderGenerator | Generator for operation C header files |
| CImplementationGenerator | Generator for common C implementation file elements |
| CAttrOrTypeImplementationGenerator | Generator for attribute/type C implementation files |
| COpImplementationGenerator | Generator for operation C implementation files |
| CTestGenerator | Generator for common test implementation file elements |
| CAttrOrTypeTestGenerator | Base class for attribute and type test generators |
| CGenStringFromOpPieces | Helper struct to generate a string from operation operand, attribute, and result pieces |
| Cllzk::global::detail::GlobalDefOpGenericAdaptorBase | |
| Cllzk::global::GlobalDefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::global::GlobalDefOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::global::GlobalDefOpAdaptor | |
| Cllzk::global::GlobalDefOpGenericAdaptor< RangeT > | |
| Cllzk::global::detail::GlobalReadOpGenericAdaptorBase | |
| Cllzk::global::GlobalReadOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::global::GlobalReadOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::global::GlobalReadOpAdaptor | |
| Cllzk::global::GlobalReadOpGenericAdaptor< RangeT > | |
| Cllzk::global::detail::GlobalRefOpInterfaceInterfaceTraits | |
| Cllzk::GlobalSourceMgr | |
| Cllzk::global::detail::GlobalWriteOpGenericAdaptorBase | |
| Cllzk::global::GlobalWriteOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::global::GlobalWriteOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::global::GlobalWriteOpAdaptor | |
| Cllzk::global::GlobalWriteOpGenericAdaptor< RangeT > | |
| Cllvm::GraphTraits< const llzk::CallGraphNode * > | |
| Cllvm::GraphTraits< const llzk::CallGraph * > | |
| Cllvm::GraphTraits< const llzk::SymbolDefTreeNode * > | |
| Cllvm::GraphTraits< const llzk::SymbolDefTree * > | |
| Cllvm::GraphTraits< const llzk::SymbolUseGraphNode * > | |
| Cllvm::GraphTraits< const llzk::SymbolUseGraph * > | |
| Cllvm::GraphTraits< Inverse< const llzk::SymbolUseGraphNode * > > | |
| Cllvm::GraphTraits< Inverse< const llzk::SymbolUseGraph * > > | |
| Cllzk::ExpressionValue::Hash | |
| Cllzk::Interval::Hash | |
| Cllzk::SourceRef::Hash | |
| Cllzk::SourceRefIndex::Hash | |
| Cstd::hash< llzk::CDGAnalysisContext > | |
| Cstd::hash< llzk::IntervalAnalysisContext > | |
| CClangLexerContext::Impl | |
| Cllzk::smt::detail::ImpliesOpGenericAdaptorBase | |
| Cllzk::smt::ImpliesOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ImpliesOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ImpliesOpAdaptor | |
| Cllzk::smt::ImpliesOpGenericAdaptor< RangeT > | |
| Cllzk::include::detail::IncludeOpGenericAdaptorBase | |
| Cllzk::include::IncludeOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::include::IncludeOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::include::IncludeOpAdaptor | |
| Cllzk::include::IncludeOpGenericAdaptor< RangeT > | |
| Cllzk::InFlightDiagnosticWrapper | Wrapper around InFlightDiagnostic that can either be a regular InFlightDiagnostic or a special version that asserts false after reporting the diagnostic |
| Cllzk::InlineStructsPassOptions | |
| Cllzk::array::detail::InsertArrayOpGenericAdaptorBase | |
| Cllzk::array::InsertArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::InsertArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::InsertArrayOpAdaptor | |
| Cllzk::array::InsertArrayOpGenericAdaptor< RangeT > | |
| Cllzk::component::InStructFunctionNamed< FuncName > | This class provides a verifier for ops that are expecting to have an ancestor FuncDefOp with the given name |
| Cllzk::smt::detail::Int2BVOpGenericAdaptorBase | |
| Cllzk::smt::Int2BVOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::Int2BVOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::Int2BVOpAdaptor | |
| Cllzk::smt::Int2BVOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::IntAbsOpGenericAdaptorBase | |
| Cllzk::smt::IntAbsOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IntAbsOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IntAbsOpAdaptor | |
| Cllzk::smt::IntAbsOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::IntAddOpGenericAdaptorBase | |
| Cllzk::smt::IntAddOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IntAddOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IntAddOpAdaptor | |
| Cllzk::smt::IntAddOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::IntCmpOpGenericAdaptorBase | |
| Cllzk::smt::IntCmpOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IntCmpOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IntCmpOpAdaptor | |
| Cllzk::smt::IntCmpOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::IntConstantOpGenericAdaptorBase | |
| Cllzk::smt::IntConstantOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IntConstantOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IntConstantOpAdaptor | |
| Cllzk::smt::IntConstantOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::IntDivOpGenericAdaptorBase | |
| Cllzk::smt::IntDivOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IntDivOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IntDivOpAdaptor | |
| Cllzk::smt::IntDivOpGenericAdaptor< RangeT > | |
| Cmlir::IntegerAttr | |
| Cllzk::smt::BVCmpPredicateAttr | |
| Cllzk::smt::IntPredicateAttr | |
| Cllzk::Interval | Intervals over a finite field |
| Cllzk::IntervalAnalysisContext | Parameters and shared objects to pass to child analyses |
| Cllzk::IntervalAnalysisPrinterPassOptions | |
| Cllzk::smt::detail::IntModOpGenericAdaptorBase | |
| Cllzk::smt::IntModOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IntModOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IntModOpAdaptor | |
| Cllzk::smt::IntModOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::IntMulOpGenericAdaptorBase | |
| Cllzk::smt::IntMulOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IntMulOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IntMulOpAdaptor | |
| Cllzk::smt::IntMulOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::IntNegOpGenericAdaptorBase | |
| Cllzk::smt::IntNegOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IntNegOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IntNegOpAdaptor | |
| Cllzk::smt::IntNegOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::IntSubOpGenericAdaptorBase | |
| Cllzk::smt::IntSubOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IntSubOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IntSubOpAdaptor | |
| Cllzk::smt::IntSubOpGenericAdaptor< RangeT > | |
| Cllzk::cast::detail::IntToFeltOpGenericAdaptorBase | |
| Cllzk::cast::IntToFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::cast::IntToFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::cast::IntToFeltOpAdaptor | |
| Cllzk::cast::IntToFeltOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::InvFeltOpGenericAdaptorBase | |
| Cllzk::felt::InvFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::InvFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::InvFeltOpAdaptor | |
| Cllzk::felt::InvFeltOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::IteOpGenericAdaptorBase | |
| Cllzk::smt::IteOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::IteOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::IteOpAdaptor | |
| Cllzk::smt::IteOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::LegalityCheckCallback | |
| Cllzk::polymorphic::detail::EmptyLegalityCheckCallback | |
| Cllzk::LightweightSignalEquivalenceAnalysis | |
| Cllzk::string::detail::LitStringOpGenericAdaptorBase | |
| Cllzk::string::LitStringOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::string::LitStringOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::string::LitStringOpAdaptor | |
| Cllzk::string::LitStringOpGenericAdaptor< RangeT > | |
| CLlzkAffineMapOperandsBuilder | Encapsulates the arguments related to affine maps that are common in operation constructors that support them |
| CLlzkRecordValue | Information needed to define a pod RecordAttr given a name and a value that will be stored in the record |
| CLlzkSymbolLookupResult | Owned result of an LLZK symbol lookup |
| Cllzk::LLZKTypeSwitch< Derived, ResultType > | Template pattern for performing some operation by cases based on a given LLZK type |
| Cllzk::ram::detail::LoadOpGenericAdaptorBase | |
| Cllzk::ram::LoadOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::ram::LoadOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::ram::LoadOpAdaptor | |
| Cllzk::ram::LoadOpGenericAdaptor< RangeT > | |
| Cllzk::LocationComparator | |
| CMapOperandsHelper< N > | Helper for unwrapping the C arguments for the map operands |
| Cllzk::component::detail::MemberDefOpGenericAdaptorBase | |
| Cllzk::component::MemberDefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::MemberDefOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::MemberDefOpAdaptor | |
| Cllzk::component::MemberDefOpGenericAdaptor< RangeT > | |
| Cllzk::component::detail::MemberReadOpGenericAdaptorBase | |
| Cllzk::component::MemberReadOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::MemberReadOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::MemberReadOpAdaptor | |
| Cllzk::component::MemberReadOpGenericAdaptor< RangeT > | |
| Cllzk::component::detail::MemberRefOpInterfaceInterfaceTraits | |
| Cllzk::component::detail::MemberWriteOpGenericAdaptorBase | |
| Cllzk::component::MemberWriteOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::MemberWriteOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::MemberWriteOpAdaptor | |
| Cllzk::component::MemberWriteOpGenericAdaptor< RangeT > | |
| CMethodParameter | Structure to represent a parameter in a parsed method signature from an extraClassDeclaration |
| CMlirOpBuilderInsertPoint | Current insertion point of an mlir::OpBuilder instance represented as a block and an operation within that block |
| CMlirValueRange | Representation of an mlir::ValueRange |
| Cllzk::ModuleAnalysis< Result, Context, StructAnalysisTy > | An analysis wrapper that runs the given StructAnalysisTy struct analysis over all of the struct contained within the module |
| Cllzk::ModuleAnalysis< ConstraintDependencyGraph, CDGAnalysisContext, ConstraintDependencyGraphStructAnalysis > | |
| Cllzk::ConstraintDependencyGraphModuleAnalysis | A module-level analysis for constructing ConstraintDependencyGraph objects for all structs in the given LLZK module |
| Cllzk::ModuleAnalysis< StructIntervals, IntervalAnalysisContext, StructIntervalAnalysis > | |
| Cllzk::ModuleIntervalAnalysis | |
| Cllzk::felt::detail::MulFeltOpGenericAdaptorBase | |
| Cllzk::felt::MulFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::MulFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::MulFeltOpAdaptor | |
| Cllzk::felt::MulFeltOpGenericAdaptor< RangeT > | |
| Cllzk::NamedOpLocationLess< Op > | |
| Cllzk::felt::detail::NegFeltOpGenericAdaptorBase | |
| Cllzk::felt::NegFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::NegFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::NegFeltOpAdaptor | |
| Cllzk::felt::NegFeltOpGenericAdaptor< RangeT > | |
| Cllzk::pod::detail::NewPodOpGenericAdaptorBase | |
| Cllzk::pod::NewPodOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::pod::NewPodOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::pod::NewPodOpAdaptor | |
| Cllzk::pod::NewPodOpGenericAdaptor< RangeT > | |
| Cllzk::NoContext | An empty struct that is used for convenience for analyses that do not require any context |
| Cllzk::detail::NonDetOpGenericAdaptorBase | |
| Cllzk::NonDetOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::NonDetOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::NonDetOpAdaptor | |
| Cllzk::NonDetOpGenericAdaptor< RangeT > | |
| Cllzk::boolean::detail::NotBoolOpGenericAdaptorBase | |
| Cllzk::boolean::NotBoolOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::NotBoolOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::NotBoolOpAdaptor | |
| Cllzk::boolean::NotBoolOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::NotFeltOpGenericAdaptorBase | |
| Cllzk::felt::NotFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::NotFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::NotFeltOpAdaptor | |
| Cllzk::felt::NotFeltOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::NotOpGenericAdaptorBase | |
| Cllzk::smt::NotOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::NotOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::NotOpAdaptor | |
| Cllzk::smt::NotOpGenericAdaptor< RangeT > | |
| Cmlir::Op | |
| Cllzk::NonDetOp | |
| Cllzk::array::ArrayLengthOp | |
| Cllzk::array::CreateArrayOp | |
| Cllzk::array::ExtractArrayOp | |
| Cllzk::array::InsertArrayOp | |
| Cllzk::array::ReadArrayOp | |
| Cllzk::array::WriteArrayOp | |
| Cllzk::boolean::AndBoolOp | |
| Cllzk::boolean::AssertOp | |
| Cllzk::boolean::CmpOp | |
| Cllzk::boolean::NotBoolOp | |
| Cllzk::boolean::OrBoolOp | |
| Cllzk::boolean::XorBoolOp | |
| Cllzk::cast::FeltToIndexOp | |
| Cllzk::cast::IntToFeltOp | |
| Cllzk::component::CreateStructOp | |
| Cllzk::component::MemberDefOp | |
| Cllzk::component::MemberReadOp | |
| Cllzk::component::MemberWriteOp | |
| Cllzk::component::StructDefOp | |
| Cllzk::constrain::EmitContainmentOp | |
| Cllzk::constrain::EmitEqualityOp | |
| Cllzk::felt::AddFeltOp | |
| Cllzk::felt::AndFeltOp | |
| Cllzk::felt::DivFeltOp | |
| Cllzk::felt::FeltConstantOp | |
| Cllzk::felt::InvFeltOp | |
| Cllzk::felt::MulFeltOp | |
| Cllzk::felt::NegFeltOp | |
| Cllzk::felt::NotFeltOp | |
| Cllzk::felt::OrFeltOp | |
| Cllzk::felt::PowFeltOp | |
| Cllzk::felt::ShlFeltOp | |
| Cllzk::felt::ShrFeltOp | |
| Cllzk::felt::SignedIntDivFeltOp | |
| Cllzk::felt::SignedModFeltOp | |
| Cllzk::felt::SubFeltOp | |
| Cllzk::felt::UnsignedIntDivFeltOp | |
| Cllzk::felt::UnsignedModFeltOp | |
| Cllzk::felt::XorFeltOp | |
| Cllzk::function::CallOp | |
| Cllzk::function::FuncDefOp | |
| Cllzk::function::ReturnOp | |
| Cllzk::global::GlobalDefOp | |
| Cllzk::global::GlobalReadOp | |
| Cllzk::global::GlobalWriteOp | |
| Cllzk::include::IncludeOp | |
| Cllzk::pod::NewPodOp | |
| Cllzk::pod::ReadPodOp | |
| Cllzk::pod::WritePodOp | |
| Cllzk::polymorphic::ApplyMapOp | |
| Cllzk::polymorphic::ConstReadOp | |
| Cllzk::polymorphic::TemplateExprOp | |
| Cllzk::polymorphic::TemplateOp | |
| Cllzk::polymorphic::TemplateParamOp | |
| Cllzk::polymorphic::UnifiableCastOp | |
| Cllzk::polymorphic::YieldOp | |
| Cllzk::ram::LoadOp | |
| Cllzk::ram::StoreOp | |
| Cllzk::smt::AndOp | |
| Cllzk::smt::ApplyFuncOp | |
| Cllzk::smt::ArrayBroadcastOp | |
| Cllzk::smt::ArraySelectOp | |
| Cllzk::smt::ArrayStoreOp | |
| Cllzk::smt::AssertOp | |
| Cllzk::smt::BV2IntOp | |
| Cllzk::smt::BVAShrOp | |
| Cllzk::smt::BVAddOp | |
| Cllzk::smt::BVAndOp | |
| Cllzk::smt::BVCmpOp | |
| Cllzk::smt::BVConstantOp | |
| Cllzk::smt::BVLShrOp | |
| Cllzk::smt::BVMulOp | |
| Cllzk::smt::BVNegOp | |
| Cllzk::smt::BVNotOp | |
| Cllzk::smt::BVOrOp | |
| Cllzk::smt::BVSDivOp | |
| Cllzk::smt::BVSModOp | |
| Cllzk::smt::BVSRemOp | |
| Cllzk::smt::BVShlOp | |
| Cllzk::smt::BVUDivOp | |
| Cllzk::smt::BVURemOp | |
| Cllzk::smt::BVXOrOp | |
| Cllzk::smt::BoolConstantOp | |
| Cllzk::smt::CheckOp | |
| Cllzk::smt::ConcatOp | |
| Cllzk::smt::DeclareFunOp | |
| Cllzk::smt::DistinctOp | |
| Cllzk::smt::EqOp | |
| Cllzk::smt::ExistsOp | |
| Cllzk::smt::ExtractOp | |
| Cllzk::smt::ForallOp | |
| Cllzk::smt::ImpliesOp | |
| Cllzk::smt::Int2BVOp | |
| Cllzk::smt::IntAbsOp | |
| Cllzk::smt::IntAddOp | |
| Cllzk::smt::IntCmpOp | |
| Cllzk::smt::IntConstantOp | |
| Cllzk::smt::IntDivOp | |
| Cllzk::smt::IntModOp | |
| Cllzk::smt::IntMulOp | |
| Cllzk::smt::IntNegOp | |
| Cllzk::smt::IntSubOp | |
| Cllzk::smt::IteOp | |
| Cllzk::smt::NotOp | |
| Cllzk::smt::OrOp | |
| Cllzk::smt::PopOp | |
| Cllzk::smt::PushOp | |
| Cllzk::smt::RepeatOp | |
| Cllzk::smt::ResetOp | |
| Cllzk::smt::SetLogicOp | |
| Cllzk::smt::SolverOp | |
| Cllzk::smt::XOrOp | |
| Cllzk::smt::YieldOp | |
| Cllzk::string::LitStringOp | |
| Cmlir::OperationPass | |
| Cllzk::impl::CallGraphPrinterPassBase< CallGraphPrinterPass > | |
| Cllzk::CallGraphPrinterPass | |
| Cllzk::impl::CallGraphSCCsPrinterPassBase< CallGraphSCCsPrinterPass > | |
| Cllzk::CallGraphSCCsPrinterPass | |
| Cllzk::impl::ComputeConstrainToProductPassBase< ComputeConstrainToProductPass > | |
| Cllzk::ComputeConstrainToProductPass | |
| Cllzk::impl::ConstraintDependencyGraphPrinterPassBase< ConstraintDependencyGraphPrinterPass > | |
| Cllzk::ConstraintDependencyGraphPrinterPass | |
| Cllzk::impl::EnforceNoMemberOverwritePassBase< EnforceNoMemberOverwritePass > | |
| Cllzk::EnforceNoMemberOverwritePass | |
| Cllzk::impl::FuseProductLoopsPassBase< FuseProductLoopsPass > | |
| Cllzk::FuseProductLoopsPass | |
| Cllzk::impl::IntervalAnalysisPrinterPassBase< IntervalAnalysisPrinterPass > | |
| Cllzk::IntervalAnalysisPrinterPass | |
| Cllzk::impl::PredecessorPrinterPassBase< PredecessorPrinterPass > | |
| Cllzk::PredecessorPrinterPass | |
| Cllzk::impl::SymbolDefTreePrinterPassBase< SymbolDefTreePass > | |
| Cllzk::SymbolDefTreePass | |
| Cllzk::impl::SymbolUseGraphPrinterPassBase< SymbolUseGraphPass > | |
| Cllzk::SymbolUseGraphPass | |
| Cllzk::array::impl::ArrayToScalarPassBase< DerivedT > | |
| Cllzk::impl::CallGraphPrinterPassBase< DerivedT > | |
| Cllzk::impl::CallGraphSCCsPrinterPassBase< DerivedT > | |
| Cllzk::impl::ComputeConstrainToProductPassBase< DerivedT > | |
| Cllzk::impl::ConstraintDependencyGraphPrinterPassBase< DerivedT > | |
| Cllzk::impl::EnforceNoMemberOverwritePassBase< DerivedT > | |
| Cllzk::impl::FuseProductLoopsPassBase< DerivedT > | |
| Cllzk::impl::InlineStructsPassBase< DerivedT > | |
| Cllzk::impl::IntervalAnalysisPrinterPassBase< DerivedT > | |
| Cllzk::impl::MemberWriteValidatorPassBase< DerivedT > | |
| Cllzk::impl::PolyLoweringPassBase< DerivedT > | |
| Cllzk::impl::PredecessorPrinterPassBase< DerivedT > | |
| Cllzk::impl::RedundantOperationEliminationPassBase< DerivedT > | |
| Cllzk::impl::RedundantReadAndWriteEliminationPassBase< DerivedT > | |
| Cllzk::impl::SymbolDefTreePrinterPassBase< DerivedT > | |
| Cllzk::impl::SymbolUseGraphPrinterPassBase< DerivedT > | |
| Cllzk::impl::UnusedDeclarationEliminationPassBase< DerivedT > | |
| Cllzk::include::impl::InlineIncludesPassBase< DerivedT > | |
| Cllzk::polymorphic::impl::EmptyTemplateRemovalPassBase< DerivedT > | |
| Cllzk::polymorphic::impl::FlatteningPassBase< DerivedT > | |
| COpGeneratorData | Common between header and implementation generators for operations |
| COpHeaderGenerator | Generator for operation C header files |
| COpImplementationGenerator | Generator for operation C implementation files |
| Cllzk::OpHash< Op > | |
| Cmlir::OpInterface | |
| Cllzk::array::ArrayAccessOpInterface | |
| Cllzk::array::ArrayRefOpInterface | |
| Cllzk::component::MemberRefOpInterface | |
| Cllzk::constrain::ConstraintOpInterface | |
| Cllzk::felt::FeltBinaryOpInterface | |
| Cllzk::global::GlobalRefOpInterface | |
| Cllzk::polymorphic::TemplateSymbolBindingOpInterface | |
| Cllzk::OpLocationLess< Op > | |
| Cllzk::boolean::detail::OrBoolOpGenericAdaptorBase | |
| Cllzk::boolean::OrBoolOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::OrBoolOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::OrBoolOpAdaptor | |
| Cllzk::boolean::OrBoolOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::OrFeltOpGenericAdaptorBase | |
| Cllzk::felt::OrFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::OrFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::OrFeltOpAdaptor | |
| Cllzk::felt::OrFeltOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::OrOpGenericAdaptorBase | |
| Cllzk::smt::OrOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::OrOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::OrOpAdaptor | |
| Cllzk::smt::OrOpGenericAdaptor< RangeT > | |
| CPassPipelineOptions | |
| Cllzk::FullPolyLoweringOptions | |
| Cmlir::PassWrapper | |
| Cmlir_hotfix::RemoveDeadValuesWorkaroundPass | |
| Cllzk::PolyLoweringPassOptions | |
| Cllzk::smt::detail::PopOpGenericAdaptorBase | |
| Cllzk::smt::PopOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::PopOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::PopOpAdaptor | |
| Cllzk::smt::PopOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::PowFeltOpGenericAdaptorBase | |
| Cllzk::felt::PowFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::PowFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::PowFeltOpAdaptor | |
| Cllzk::felt::PowFeltOpGenericAdaptor< RangeT > | |
| Cllzk::PredecessorPrinterPassOptions | |
| Cllzk::ProductAligner | |
| Cllzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties | |
| Cllzk::boolean::detail::AssertOpGenericAdaptorBase::Properties | |
| Cllzk::boolean::detail::CmpOpGenericAdaptorBase::Properties | |
| Cllzk::component::detail::MemberDefOpGenericAdaptorBase::Properties | |
| Cllzk::component::detail::MemberReadOpGenericAdaptorBase::Properties | |
| Cllzk::component::detail::MemberWriteOpGenericAdaptorBase::Properties | |
| Cllzk::component::detail::StructDefOpGenericAdaptorBase::Properties | |
| Cllzk::felt::detail::FeltConstantOpGenericAdaptorBase::Properties | |
| Cllzk::function::detail::CallOpGenericAdaptorBase::Properties | |
| Cllzk::function::detail::FuncDefOpGenericAdaptorBase::Properties | |
| Cllzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties | |
| Cllzk::global::detail::GlobalReadOpGenericAdaptorBase::Properties | |
| Cllzk::global::detail::GlobalWriteOpGenericAdaptorBase::Properties | |
| Cllzk::include::detail::IncludeOpGenericAdaptorBase::Properties | |
| Cllzk::pod::detail::NewPodOpGenericAdaptorBase::Properties | |
| Cllzk::pod::detail::ReadPodOpGenericAdaptorBase::Properties | |
| Cllzk::pod::detail::WritePodOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::ConstReadOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::TemplateExprOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::TemplateOpGenericAdaptorBase::Properties | |
| Cllzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::BoolConstantOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::BV2IntOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::BVCmpOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::BVConstantOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::DeclareFunOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::ExistsOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::ExtractOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::ForallOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::IntCmpOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::IntConstantOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::PopOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::PushOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::SetLogicOpGenericAdaptorBase::Properties | |
| Cllzk::string::detail::LitStringOpGenericAdaptorBase::Properties | |
| Cllzk::smt::detail::PushOpGenericAdaptorBase | |
| Cllzk::smt::PushOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::PushOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::PushOpAdaptor | |
| Cllzk::smt::PushOpGenericAdaptor< RangeT > | |
| Cllvm::raw_ostream | |
| Cllzk::filtered_raw_ostream | Wrapper for llvm::raw_ostream that filters out certain characters selected by a function |
| Cllzk::array::detail::ReadArrayOpGenericAdaptorBase | |
| Cllzk::array::ReadArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::ReadArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::ReadArrayOpAdaptor | |
| Cllzk::array::ReadArrayOpGenericAdaptor< RangeT > | |
| Cllzk::pod::detail::ReadPodOpGenericAdaptorBase | |
| Cllzk::pod::ReadPodOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::pod::ReadPodOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::pod::ReadPodOpAdaptor | |
| Cllzk::pod::ReadPodOpGenericAdaptor< RangeT > | |
| Cllzk::pod::RecordValue | |
| Cllzk::RefValueCapture | Matches and optionally captures a SourceRef base value, which is either a member read or a block argument (i.e., an input to a @constrain or @compute function) |
| Cllzk::smt::detail::RepeatOpGenericAdaptorBase | |
| Cllzk::smt::RepeatOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::RepeatOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::RepeatOpAdaptor | |
| Cllzk::smt::RepeatOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::ResetOpGenericAdaptorBase | |
| Cllzk::smt::ResetOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::ResetOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::ResetOpAdaptor | |
| Cllzk::smt::ResetOpGenericAdaptor< RangeT > | |
| Cllzk::function::detail::ReturnOpGenericAdaptorBase | |
| Cllzk::function::ReturnOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::function::ReturnOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::function::ReturnOpAdaptor | |
| Cllzk::function::ReturnOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::SetLogicOpGenericAdaptorBase | |
| Cllzk::smt::SetLogicOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::SetLogicOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::SetLogicOpAdaptor | |
| Cllzk::smt::SetLogicOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::ShlFeltOpGenericAdaptorBase | |
| Cllzk::felt::ShlFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::ShlFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::ShlFeltOpAdaptor | |
| Cllzk::felt::ShlFeltOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::ShrFeltOpGenericAdaptorBase | |
| Cllzk::felt::ShrFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::ShrFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::ShrFeltOpAdaptor | |
| Cllzk::felt::ShrFeltOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::SignedIntDivFeltOpGenericAdaptorBase | |
| Cllzk::felt::SignedIntDivFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::SignedIntDivFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::SignedIntDivFeltOpAdaptor | |
| Cllzk::felt::SignedIntDivFeltOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::SignedModFeltOpGenericAdaptorBase | |
| Cllzk::felt::SignedModFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::SignedModFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::SignedModFeltOpAdaptor | |
| Cllzk::felt::SignedModFeltOpGenericAdaptor< RangeT > | |
| Cllzk::smt::SMTOpVisitor< ConcreteType, ResultType, ExtraArgs > | This helps visit SMT nodes |
| Cllzk::smt::SMTTypeVisitor< ConcreteType, ResultType, ExtraArgs > | This helps visit SMT types |
| Cllzk::smt::detail::SolverOpGenericAdaptorBase | |
| Cllzk::smt::SolverOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::SolverOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::SolverOpAdaptor | |
| Cllzk::smt::SolverOpGenericAdaptor< RangeT > | |
| Cllzk::SourceRef | A reference to a "source", which is the base value from which other SSA values are derived |
| Cllzk::SourceRefIndex | Defines an index into an LLZK object |
| Cllzk::ram::detail::StoreOpGenericAdaptorBase | |
| Cllzk::ram::StoreOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::ram::StoreOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::ram::StoreOpAdaptor | |
| Cllzk::ram::StoreOpGenericAdaptor< RangeT > | |
| Cllzk::StructAnalysis< Result, Context > | This is the base class for a dataflow analysis designed to run on a single struct (i.e., a single component) |
| Cllzk::StructAnalysis< ConstraintDependencyGraph, CDGAnalysisContext > | |
| Cllzk::ConstraintDependencyGraphStructAnalysis | An analysis wrapper around the ConstraintDependencyGraph for a given struct |
| Cllzk::StructAnalysis< StructIntervals, IntervalAnalysisContext > | |
| Cllzk::StructIntervalAnalysis | |
| Cllzk::component::detail::StructDefOpGenericAdaptorBase | |
| Cllzk::component::StructDefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::component::StructDefOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::component::StructDefOpAdaptor | |
| Cllzk::component::StructDefOpGenericAdaptor< RangeT > | |
| Cllzk::StructIntervals | |
| Cllzk::felt::detail::SubFeltOpGenericAdaptorBase | |
| Cllzk::felt::SubFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::SubFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::SubFeltOpAdaptor | |
| Cllzk::felt::SubFeltOpGenericAdaptor< RangeT > | |
| Cllzk::SymbolDefTree | Builds a tree structure representing the symbol table structure |
| Cllzk::SymbolDefTreeNode | |
| Cllzk::SymbolDefTreePrinterPassOptions | |
| Cllzk::SymbolLookupResult< T > | |
| Cllzk::SymbolLookupResultUntyped | |
| Cllzk::SymbolUseGraph | Builds a graph structure representing the relationships between symbols and their uses |
| Cllzk::SymbolUseGraphNode | |
| Cllzk::SymbolUseGraphPrinterPassOptions | |
| Cllzk::polymorphic::detail::TemplateExprOpGenericAdaptorBase | |
| Cllzk::polymorphic::TemplateExprOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::TemplateExprOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::TemplateExprOpAdaptor | |
| Cllzk::polymorphic::TemplateExprOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::TemplateOpGenericAdaptorBase | |
| Cllzk::polymorphic::TemplateOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::TemplateOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::TemplateOpAdaptor | |
| Cllzk::polymorphic::TemplateOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::TemplateParamOpGenericAdaptorBase | |
| Cllzk::polymorphic::TemplateParamOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::TemplateParamOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::TemplateParamOpAdaptor | |
| Cllzk::polymorphic::TemplateParamOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits | |
| CTestAnyBuildFuncHelper | |
| CAddFeltOpBuildFuncHelper | |
| CAndBoolOpBuildFuncHelper | |
| CAndFeltOpBuildFuncHelper | |
| CArrayLengthOpBuildFuncHelper | |
| CAssertOpBuildFuncHelper | |
| CCmpOpBuildFuncHelper | |
| CConstReadOpBuildFuncHelper | |
| CCreateStructOpBuildFuncHelper | |
| CDivFeltOpBuildFuncHelper | |
| CEmitContainmentOpBuildFuncHelper | |
| CEmitEqualityOpBuildFuncHelper | |
| CExtractArrayOpBuildFuncHelper | |
| CFeltConstantOpBuildFuncHelper | |
| CFeltToIndexOpBuildFuncHelper | |
| CFuncDefOpBuildFuncHelper | |
| CGlobalDefOpBuildFuncHelper | |
| CGlobalReadOpBuildFuncHelper | |
| CGlobalWriteOpBuildFuncHelper | |
| CIncludeOpBuildFuncHelper | |
| CInsertArrayOpBuildFuncHelper | |
| CIntToFeltOpBuildFuncHelper | |
| CInvFeltOpBuildFuncHelper | |
| CLitStringOpBuildFuncHelper | |
| CLoadOpBuildFuncHelper | |
| CMemberWriteOpBuildFuncHelper | |
| CMulFeltOpBuildFuncHelper | |
| CNegFeltOpBuildFuncHelper | |
| CNonDetOpBuildFuncHelper | |
| CNotBoolOpBuildFuncHelper | |
| CNotFeltOpBuildFuncHelper | |
| COrBoolOpBuildFuncHelper | |
| COrFeltOpBuildFuncHelper | |
| CPowFeltOpBuildFuncHelper | |
| CReadArrayOpBuildFuncHelper | |
| CReadPodOpBuildFuncHelper | |
| CReturnOpBuildFuncHelper | |
| CShlFeltOpBuildFuncHelper | |
| CShrFeltOpBuildFuncHelper | |
| CSignedIntDivFeltOpBuildFuncHelper | |
| CSignedModFeltOpBuildFuncHelper | |
| CStoreOpBuildFuncHelper | |
| CStructDefOpBuildFuncHelper | |
| CSubFeltOpBuildFuncHelper | |
| CTemplateExprOpBuildFuncHelper | |
| CTemplateOpBuildFuncHelper | |
| CTemplateParamOpBuildFuncHelper | |
| CUnifiableCastOpBuildFuncHelper | |
| CUnsignedIntDivFeltOpBuildFuncHelper | |
| CUnsignedModFeltOpBuildFuncHelper | |
| CWriteArrayOpBuildFuncHelper | |
| CWritePodOpBuildFuncHelper | |
| CXorBoolOpBuildFuncHelper | |
| CXorFeltOpBuildFuncHelper | |
| CYieldOpBuildFuncHelper | |
| Cmlir::OpInterface::Trait | |
| Cllzk::array::detail::ArrayAccessOpInterfaceTrait< ConcreteOp > | |
| Cllzk::array::ArrayAccessOpInterface::Trait< ConcreteOp > | |
| Cllzk::array::detail::ArrayRefOpInterfaceTrait< ConcreteOp > | |
| Cllzk::array::ArrayRefOpInterface::Trait< ConcreteOp > | |
| Cllzk::component::detail::MemberRefOpInterfaceTrait< ConcreteOp > | |
| Cllzk::component::MemberRefOpInterface::Trait< ConcreteOp > | |
| Cllzk::constrain::detail::ConstraintOpInterfaceTrait< ConcreteOp > | |
| Cllzk::constrain::ConstraintOpInterface::Trait< ConcreteOp > | |
| Cllzk::felt::detail::FeltBinaryOpInterfaceTrait< ConcreteOp > | |
| Cllzk::felt::FeltBinaryOpInterface::Trait< ConcreteOp > | |
| Cllzk::global::detail::GlobalRefOpInterfaceTrait< ConcreteOp > | |
| Cllzk::global::GlobalRefOpInterface::Trait< ConcreteOp > | |
| Cllzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceTrait< ConcreteOp > | |
| Cllzk::polymorphic::TemplateSymbolBindingOpInterface::Trait< ConcreteOp > | |
| Cmlir::OpTrait::TraitBase | |
| Cllzk::LLZKSymbolTableImplTrait< TypeClass > | See LLZKSymbolTable ODS documentation for details |
| Cllzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass > | |
| Cllzk::component::InStructFunctionNamed< FuncName >::Impl< TypeClass > | |
| Cllzk::component::SetFuncAllowAttrs< TypeClass > | Only valid/implemented for StructDefOp |
| Cllzk::function::ConstraintGen< TypeClass > | Marker for ops that are specific to constraint generation |
| Cllzk::function::NotFieldNative< TypeClass > | Marker for ops over llzk.felt type operands that are not native to finite field arithmetic |
| Cllzk::function::WitnessGen< TypeClass > | Marker for ops that are specific to witness generation |
| Cmlir::Type::TypeBase | |
| Cllzk::array::ArrayType | |
| Cllzk::component::StructType | |
| Cllzk::felt::FeltType | |
| Cllzk::pod::PodType | |
| Cllzk::polymorphic::TypeVarType | |
| Cllzk::smt::ArrayType | |
| Cllzk::smt::BitVectorType | |
| Cllzk::smt::BoolType | |
| Cllzk::smt::IntType | |
| Cllzk::smt::SMTFuncType | |
| Cllzk::smt::SortType | |
| Cllzk::string::StringType | |
| Cmlir::TypeStorage | |
| Cllzk::array::detail::ArrayTypeStorage | |
| Cllzk::component::detail::StructTypeStorage | |
| Cllzk::felt::detail::FeltTypeStorage | |
| Cllzk::pod::detail::PodTypeStorage | |
| Cllzk::polymorphic::detail::TypeVarTypeStorage | |
| Cllzk::smt::detail::ArrayTypeStorage | |
| Cllzk::smt::detail::BitVectorTypeStorage | |
| Cllzk::smt::detail::SMTFuncTypeStorage | |
| Cllzk::smt::detail::SortTypeStorage | |
| Cllzk::polymorphic::detail::UnifiableCastOpGenericAdaptorBase | |
| Cllzk::polymorphic::UnifiableCastOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::UnifiableCastOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::UnifiableCastOpAdaptor | |
| Cllzk::polymorphic::UnifiableCastOpGenericAdaptor< RangeT > | |
| Cstd::unordered_set | |
| Cllzk::SourceRefSet | |
| Cllzk::UnreducedInterval | An inclusive interval [a, b] where a and b are arbitrary integers not necessarily bound to a given field |
| Cllzk::felt::detail::UnsignedIntDivFeltOpGenericAdaptorBase | |
| Cllzk::felt::UnsignedIntDivFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::UnsignedIntDivFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::UnsignedIntDivFeltOpAdaptor | |
| Cllzk::felt::UnsignedIntDivFeltOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::UnsignedModFeltOpGenericAdaptorBase | |
| Cllzk::felt::UnsignedModFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::UnsignedModFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::UnsignedModFeltOpAdaptor | |
| Cllzk::felt::UnsignedModFeltOpGenericAdaptor< RangeT > | |
| Cllzk::UnusedDeclarationEliminationPassOptions | |
| Cllzk::ValueLess | |
| Cllzk::VerifySizesForMultiAffineOps< OperandSegmentIndex > | Produces errors if there is an inconsistency in the various attributes/values that are used to support affine map instantiation in the Op marked with this Trait |
| Cllzk::Within | |
| Cllzk::array::detail::WriteArrayOpGenericAdaptorBase | |
| Cllzk::array::WriteArrayOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::array::WriteArrayOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::array::WriteArrayOpAdaptor | |
| Cllzk::array::WriteArrayOpGenericAdaptor< RangeT > | |
| Cllzk::pod::detail::WritePodOpGenericAdaptorBase | |
| Cllzk::pod::WritePodOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::pod::WritePodOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::pod::WritePodOpAdaptor | |
| Cllzk::pod::WritePodOpGenericAdaptor< RangeT > | |
| Cllzk::boolean::detail::XorBoolOpGenericAdaptorBase | |
| Cllzk::boolean::XorBoolOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::boolean::XorBoolOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::boolean::XorBoolOpAdaptor | |
| Cllzk::boolean::XorBoolOpGenericAdaptor< RangeT > | |
| Cllzk::felt::detail::XorFeltOpGenericAdaptorBase | |
| Cllzk::felt::XorFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::felt::XorFeltOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::felt::XorFeltOpAdaptor | |
| Cllzk::felt::XorFeltOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::XOrOpGenericAdaptorBase | |
| Cllzk::smt::XOrOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::XOrOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::XOrOpAdaptor | |
| Cllzk::smt::XOrOpGenericAdaptor< RangeT > | |
| Cllzk::polymorphic::detail::YieldOpGenericAdaptorBase | |
| Cllzk::polymorphic::YieldOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::polymorphic::YieldOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::polymorphic::YieldOpAdaptor | |
| Cllzk::polymorphic::YieldOpGenericAdaptor< RangeT > | |
| Cllzk::smt::detail::YieldOpGenericAdaptorBase | |
| Cllzk::smt::YieldOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > > | |
| Cllzk::smt::YieldOpGenericAdaptor<::mlir::ValueRange > | |
| Cllzk::smt::YieldOpAdaptor | |
| Cllzk::smt::YieldOpGenericAdaptor< RangeT > | |
1.14.0