Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

[detail level 1234]

Cdataflow::AbstractDenseLattice
Cllzk::IntervalAnalysisLattice	Maps mlir::Values to LatticeValues
Cllzk::SourceRefLattice	A lattice for use in dense analysis
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
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::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::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::boolean::detail::AssertOpGenericAdaptorBase
Cllzk::boolean::AssertOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::boolean::AssertOpGenericAdaptor<::mlir::ValueRange >
Cllzk::boolean::AssertOpAdaptor
Cllzk::boolean::AssertOpGenericAdaptor< RangeT >
Cllzk::AuxAssignment
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
Cmlir::BytecodeDialectInterface
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 >
Cllzk::CDGAnalysisContext	Parameters and shared objects to pass to child analyses
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::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::FieldRefOpInterfaceInterfaceTraits::Concept
Cllzk::component::detail::FieldRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
Cllzk::component::detail::FieldRefOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >
Cllzk::component::detail::FieldRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >
Cllzk::component::detail::FieldRefOpInterfaceInterfaceTraits::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::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::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::AbstractDenseForwardDataFlowAnalysis	LLZK: This class has been ported from the MLIR DenseAnalysis utilities to allow for the use of custom LLZK symbol lookup logic
Cllzk::dataflow::DenseForwardDataFlowAnalysis< IntervalAnalysisLattice >
Cllzk::IntervalDataFlowAnalysis
Cllzk::dataflow::DenseForwardDataFlowAnalysis< SourceRefLattice >
Cllzk::SourceRefAnalysis	The dataflow analysis that computes the set of references that LLZK operations use and produce
Cllzk::dataflow::DenseForwardDataFlowAnalysis< LatticeT >	LLZK: This class has been ported so that it can inherit from our port of the AbstractDenseForwardDataFlowAnalysis above
CDefaultDOTGraphTraits
Cllvm::DOTGraphTraits< const llzk::SymbolDefTreeNode * >
Cllvm::DOTGraphTraits< const llzk::SymbolDefTree * >
Cllvm::DOTGraphTraits< const llzk::SymbolUseGraphNode * >
Cllvm::DOTGraphTraits< const llzk::SymbolUseGraph * >
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 >
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::polymorphic::PolymorphicDialect
Cllzk::string::StringDialect
Cllzk::undef::UndefDialect
Cmlir::DialectVersion
Cllzk::LLZKDialectVersion
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::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::felt::detail::FeltConstantOpGenericAdaptorBase
Cllzk::felt::FeltConstantOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::felt::FeltConstantOpGenericAdaptor<::mlir::ValueRange >
Cllzk::felt::FeltConstantOpAdaptor
Cllzk::felt::FeltConstantOpGenericAdaptor< RangeT >
Cllzk::felt::detail::FeltNonDetOpGenericAdaptorBase
Cllzk::felt::FeltNonDetOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::felt::FeltNonDetOpGenericAdaptor<::mlir::ValueRange >
Cllzk::felt::FeltNonDetOpAdaptor
Cllzk::felt::FeltNonDetOpGenericAdaptor< 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
Cllzk::component::detail::FieldDefOpGenericAdaptorBase
Cllzk::component::FieldDefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::component::FieldDefOpGenericAdaptor<::mlir::ValueRange >
Cllzk::component::FieldDefOpAdaptor
Cllzk::component::FieldDefOpGenericAdaptor< RangeT >
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<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate >
Cmlir::FieldParser<::llzk::OutputStream, ::llzk::OutputStream >
Cmlir::FieldParser<::llzk::polymorphic::StructCleanupMode, ::llzk::polymorphic::StructCleanupMode >
Cllzk::component::detail::FieldReadOpGenericAdaptorBase
Cllzk::component::FieldReadOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::component::FieldReadOpGenericAdaptor<::mlir::ValueRange >
Cllzk::component::FieldReadOpAdaptor
Cllzk::component::FieldReadOpGenericAdaptor< RangeT >
Cllzk::component::detail::FieldRefOpInterfaceInterfaceTraits
Cllzk::component::detail::FieldWriteOpGenericAdaptorBase
Cllzk::component::FieldWriteOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::component::FieldWriteOpGenericAdaptor<::mlir::ValueRange >
Cllzk::component::FieldWriteOpAdaptor
Cllzk::component::FieldWriteOpGenericAdaptor< RangeT >
Cllzk::FileLineColLocComparator
Cllzk::polymorphic::FlatteningPassOptions
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::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 >
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::Interval	Intervals over a finite field
Cllzk::IntervalAnalysisContext	Parameters and shared objects to pass to child analyses
Cllzk::IntervalAnalysisPrinterPassOptions
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::string::detail::LitStringOpGenericAdaptorBase
Cllzk::string::LitStringOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::string::LitStringOpGenericAdaptor<::mlir::ValueRange >
Cllzk::string::LitStringOpAdaptor
Cllzk::string::LitStringOpGenericAdaptor< RangeT >
Cllzk::LLZKTypeSwitch< Derived, ResultType >	Template pattern for performing some operation by cases based on a given LLZK type
Cllzk::LocationComparator
CMapOperandsHelper< N >	Helper for unwrapping the C arguments for the map operands
CMlirOpBuilderInsertPoint
CMlirValueRange
Cllzk::felt::detail::ModFeltOpGenericAdaptorBase
Cllzk::felt::ModFeltOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::felt::ModFeltOpGenericAdaptor<::mlir::ValueRange >
Cllzk::felt::ModFeltOpAdaptor
Cllzk::felt::ModFeltOpGenericAdaptor< RangeT >
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::ModuleBuilder	Builds out a LLZK-compliant module and provides utilities for populating that module
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::NoContext	An empty struct that is used for convenience for analyses that do not require any context
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 >
Cmlir::Op
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::FieldDefOp
Cllzk::component::FieldReadOp
Cllzk::component::FieldWriteOp
Cllzk::component::StructDefOp
Cllzk::constrain::EmitContainmentOp
Cllzk::constrain::EmitEqualityOp
Cllzk::felt::AddFeltOp
Cllzk::felt::AndFeltOp
Cllzk::felt::DivFeltOp
Cllzk::felt::FeltConstantOp
Cllzk::felt::FeltNonDetOp
Cllzk::felt::InvFeltOp
Cllzk::felt::ModFeltOp
Cllzk::felt::MulFeltOp
Cllzk::felt::NegFeltOp
Cllzk::felt::NotFeltOp
Cllzk::felt::OrFeltOp
Cllzk::felt::ShlFeltOp
Cllzk::felt::ShrFeltOp
Cllzk::felt::SubFeltOp
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::polymorphic::ApplyMapOp
Cllzk::polymorphic::ConstReadOp
Cllzk::polymorphic::UnifiableCastOp
Cllzk::string::LitStringOp
Cllzk::undef::UndefOp
Cmlir::OpConversionPattern
Cllzk::polymorphic::detail::CallOpClassReplacePattern
Cllzk::polymorphic::detail::CreateArrayOpClassReplacePattern
Cllzk::polymorphic::detail::GeneralTypeReplacePattern< OpClass >
Cmlir::OperationPass
Cllzk::impl::CallGraphPrinterPassBase< CallGraphPrinterPass >
Cllzk::CallGraphPrinterPass
Cllzk::impl::CallGraphSCCsPrinterPassBase< CallGraphSCCsPrinterPass >
Cllzk::CallGraphSCCsPrinterPass
Cllzk::impl::ConstraintDependencyGraphPrinterPassBase< ConstraintDependencyGraphPrinterPass >
Cllzk::ConstraintDependencyGraphPrinterPass
Cllzk::impl::IntervalAnalysisPrinterPassBase< IntervalAnalysisPrinterPass >
Cllzk::IntervalAnalysisPrinterPass
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::ConstraintDependencyGraphPrinterPassBase< DerivedT >
Cllzk::impl::FieldWriteValidatorPassBase< DerivedT >
Cllzk::impl::InlineStructsPassBase< DerivedT >
Cllzk::impl::IntervalAnalysisPrinterPassBase< DerivedT >
Cllzk::impl::PolyLoweringPassBase< DerivedT >
Cllzk::impl::R1CSLoweringPassBase< 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::EmptyParamListRemovalPassBase< DerivedT >
Cllzk::polymorphic::impl::FlatteningPassBase< DerivedT >
Cllzk::OpHash< Op >
Cmlir::OpInterface
Cllzk::array::ArrayAccessOpInterface
Cllzk::array::ArrayRefOpInterface
Cllzk::component::FieldRefOpInterface
Cllzk::constrain::ConstraintOpInterface
Cllzk::global::GlobalRefOpInterface
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 >
CPassPipelineOptions
Cllzk::FullPolyLoweringOptions
Cllzk::PolyLoweringPassOptions
Cllzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties
Cllzk::boolean::detail::AssertOpGenericAdaptorBase::Properties
Cllzk::boolean::detail::CmpOpGenericAdaptorBase::Properties
Cllzk::component::detail::FieldDefOpGenericAdaptorBase::Properties
Cllzk::component::detail::FieldReadOpGenericAdaptorBase::Properties
Cllzk::component::detail::FieldWriteOpGenericAdaptorBase::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::polymorphic::detail::ApplyMapOpGenericAdaptorBase::Properties
Cllzk::polymorphic::detail::ConstReadOpGenericAdaptorBase::Properties
Cllzk::string::detail::LitStringOpGenericAdaptorBase::Properties
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::RefValueCapture	Matches and optionally captures a SourceRef base value, which is either a field read or a block argument (i.e., an input to a @constrain or @compute function)
Cllzk::function::detail::ReturnOpGenericAdaptorBase
Cllzk::function::ReturnOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::function::ReturnOpGenericAdaptor<::mlir::ValueRange >
Cllzk::function::ReturnOpAdaptor
Cllzk::function::ReturnOpGenericAdaptor< 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::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::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
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::FieldRefOpInterfaceTrait< ConcreteOp >
Cllzk::component::FieldRefOpInterface::Trait< ConcreteOp >
Cllzk::constrain::detail::ConstraintOpInterfaceTrait< ConcreteOp >
Cllzk::constrain::ConstraintOpInterface::Trait< ConcreteOp >
Cllzk::global::detail::GlobalRefOpInterfaceTrait< ConcreteOp >
Cllzk::global::GlobalRefOpInterface::Trait< ConcreteOp >
Cmlir::OpTrait::TraitBase
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::WitnessGen< TypeClass >	Marker for ops that are specific to witness generation
Cmlir::Type::TypeBase
Cllzk::array::ArrayType
Cllzk::component::StructType
Cllzk::felt::FeltType
Cllzk::polymorphic::TypeVarType
Cllzk::string::StringType
Cmlir::TypeStorage
Cllzk::array::detail::ArrayTypeStorage
Cllzk::component::detail::StructTypeStorage
Cllzk::polymorphic::detail::TypeVarTypeStorage
Cllzk::undef::detail::UndefOpGenericAdaptorBase
Cllzk::undef::UndefOpGenericAdaptor<::llvm::ArrayRef<::mlir::Attribute > >
Cllzk::undef::UndefOpGenericAdaptor<::mlir::ValueRange >
Cllzk::undef::UndefOpAdaptor
Cllzk::undef::UndefOpGenericAdaptor< RangeT >
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::UnusedDeclarationEliminationPassOptions
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::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 >