Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

Nllvm
Ncl
CNestedOptionsParserBase
Cparser< llzk::NestedPassOptions< CreatePass > >	Parser for textual options that are validated by a constituent MLIR pass
Cparser< llzk::NestedPipelineOptions< PipelineOptionsT > >	Parser for textual options that are validated by a constituent MLIR pipeline
CDenseMapInfo< CompatiblePodLeafMaterializationKey >
CDenseMapInfo< llzk::ExpressionValue >
CDenseMapInfo< llzk::Side >
CDenseMapInfo< llzk::SourceRef >
CDenseMapInfo< OperationComparator >
CDenseMapInfo< RecordChain >
CDenseMapInfo< ReferenceID >	Allows ReferenceID to be a DenseMap key
CDenseMapInfo<::llzk::boolean::FeltCmpPredicate >
CDenseMapInfo<::llzk::cast::OverflowSemantics >
CDenseMapInfo<::llzk::OutputStream >
CDenseMapInfo<::llzk::polymorphic::FlatteningCleanupMode >
CDOTGraphTraits< const llzk::SymbolDefTree * >
CDOTGraphTraits< const llzk::SymbolDefTreeNode * >
CDOTGraphTraits< const llzk::SymbolUseGraph * >
CDOTGraphTraits< const llzk::SymbolUseGraphNode * >
CGraphTraits< const llzk::CallGraph * >
CGraphTraits< const llzk::CallGraphNode * >
CGraphTraits< const llzk::SymbolDefTree * >
CGraphTraits< const llzk::SymbolDefTreeNode * >
CGraphTraits< const llzk::SymbolUseGraph * >
CGraphTraits< const llzk::SymbolUseGraphNode * >
CGraphTraits< Inverse< const llzk::SymbolUseGraph * > >
CGraphTraits< Inverse< const llzk::SymbolUseGraphNode * > >
Nllzk
Narray
Ndetail	Common interface for operations that reference an array value
CArrayAccessOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CArrayAccessOpInterfaceTrait
CArrayLengthOpGenericAdaptorBase
CArrayRefOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CArrayRefOpInterfaceTrait
CArrayTypeStorage
CCreateArrayOpGenericAdaptorBase
CProperties
CExtractArrayOpGenericAdaptorBase
CInsertArrayOpGenericAdaptorBase
CReadArrayOpGenericAdaptorBase
CWriteArrayOpGenericAdaptorBase
Nimpl
CArrayToScalarPassBase
CStraightLineStaticArrayPromotionPassBase
CArrayAccessOpInterface
CTrait
CArrayDialect	LLZK array operations
CArrayIndexGen	Helper for converting between linear and multi-dimensional indexing with checks to ensure indices are in range for the ArrayType
CArrayLengthOp
CArrayLengthOpAdaptor
CArrayLengthOpGenericAdaptor
CArrayRefOpInterface
CTrait
CArrayType
CCreateArrayOp
CCreateArrayOpAdaptor
CCreateArrayOpGenericAdaptor
CExtractArrayOp
CExtractArrayOpAdaptor
CExtractArrayOpGenericAdaptor
CInsertArrayOp
CInsertArrayOpAdaptor
CInsertArrayOpGenericAdaptor
CReadArrayOp
CReadArrayOpAdaptor
CReadArrayOpGenericAdaptor
CWriteArrayOp
CWriteArrayOpAdaptor
CWriteArrayOpGenericAdaptor
Nboolean
Ndetail
CExistsOpGenericAdaptorBase
CForAllOpGenericAdaptorBase
CAndBoolOpGenericAdaptorBase
CAssertOpGenericAdaptorBase
CProperties
CCmpOpGenericAdaptorBase
CProperties
CNotBoolOpGenericAdaptorBase
COrBoolOpGenericAdaptorBase
CXorBoolOpGenericAdaptorBase
CYieldOpGenericAdaptorBase
Nimpl
CLowerBoolQuantifiersPassBase
CAndBoolOp
CAndBoolOpAdaptor
CAndBoolOpGenericAdaptor
CAssertOp
CAssertOpAdaptor
CAssertOpGenericAdaptor
CBoolDialect	LLZK boolean operations
CCmpOp
CCmpOpAdaptor
CCmpOpGenericAdaptor
CExistsOp
CExistsOpAdaptor
CExistsOpGenericAdaptor
CForAllOp
CForAllOpAdaptor
CForAllOpGenericAdaptor
CNotBoolOp
CNotBoolOpAdaptor
CNotBoolOpGenericAdaptor
COrBoolOp
COrBoolOpAdaptor
COrBoolOpGenericAdaptor
CXorBoolOp
CXorBoolOpAdaptor
CXorBoolOpGenericAdaptor
CYieldOp
CYieldOpAdaptor
CYieldOpGenericAdaptor
Ncast
Ndetail
CFeltToIndexOpGenericAdaptorBase
CProperties
CIntToFeltOpGenericAdaptorBase
CProperties
CCastDialect	LLZK type conversion operations
CFeltToIndexOp
CFeltToIndexOpAdaptor
CFeltToIndexOpGenericAdaptor
CIntToFeltOp
CIntToFeltOpAdaptor
CIntToFeltOpGenericAdaptor
Ncomponent
Ndetail	Common interface for operations that read or write from a struct member
CCreateStructOpGenericAdaptorBase
CMemberDefOpGenericAdaptorBase
CProperties
CMemberReadOpGenericAdaptorBase
CProperties
CMemberRefOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CMemberRefOpInterfaceTrait
CMemberWriteOpGenericAdaptorBase
CProperties
CStructDefOpGenericAdaptorBase
CProperties
CStructTypeStorage
Nimpl
CExposeChildMembersPassBase
CInlineStructsPassBase
CCreateStructOp
CCreateStructOpAdaptor
CCreateStructOpGenericAdaptor
CExposeChildMembersPassOptions
CInlineStructsPassOptions
CInStructFunctionNamed	This class provides a verifier for ops that are expecting to have an ancestor FuncDefOp with the given name
CImpl
CMemberDefOp
CMemberDefOpAdaptor
CMemberDefOpGenericAdaptor
CMemberReadOp
CMemberReadOpAdaptor
CMemberReadOpGenericAdaptor
CMemberRefOpInterface
CTrait
CMemberWriteOp
CMemberWriteOpAdaptor
CMemberWriteOpGenericAdaptor
CSetFuncAllowAttrs	Only valid/implemented for StructDefOp
CStructDefOp
CStructDefOpAdaptor
CStructDefOpGenericAdaptor
CStructDialect	LLZK component/struct operations
CStructDialectBytecodeInterface	Implement version upgrade for StructDialect
CStructType
Nconstrain
Ndetail	Common interface for operations that produce a constraint
CConstraintOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CConstraintOpInterfaceTrait
CEmitContainmentOpGenericAdaptorBase
CEmitEqualityOpGenericAdaptorBase
CConstrainDialect	LLZK constraint emission operations
CConstraintOpInterface
CTrait
CEmitContainmentOp
CEmitContainmentOpAdaptor
CEmitContainmentOpGenericAdaptor
CEmitEqualityOp
CEmitEqualityOpAdaptor
CEmitEqualityOpGenericAdaptor
Ndataflow
CAbstractLatticeValue
CAbstractSparseForwardDataFlowAnalysis	Compatibility adapter over MLIR sparse forward data-flow analysis
CSparseForwardDataFlowAnalysis	A sparse forward data-flow analysis for propagating SSA value lattices across the IR by implementing transfer functions for operations
Ndetail	Provides the necessary information to the RemoveUnusedDiscardableAllocations pass about operations that load or store values from the result of an allocator op marked with the MemAlloc<DiscardableAllocationResource> memory effect so unused allocators and stores can be removed
CDiscardableAllocationAccessorOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CDiscardableAllocationAccessorOpInterfaceTrait
CLLZKCallLikeOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CLLZKCallLikeOpInterfaceTrait
CNestedTextualOptions	Shared storage and helpers for nested textual pass and pipeline options
CNonDetOpGenericAdaptorBase
CRemoveDeadValuesWorkaroundPass	A workaround wrapper around MLIR's remove-dead-values pass that normalizes empty scf.if else regions before running the upstream implementation, cleans up the trivial regions afterwards, and removes unused ub.poison values left by an earlier invocation
Nfelt
Ndetail	Common interface for binary arithmetic operations on felts
CAddFeltOpGenericAdaptorBase
CAndFeltOpGenericAdaptorBase
CDivFeltOpGenericAdaptorBase
CFeltBinaryOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CFeltBinaryOpInterfaceTrait
CFeltConstantOpGenericAdaptorBase
CProperties
CFeltTypeStorage
CInvFeltOpGenericAdaptorBase
CMulFeltOpGenericAdaptorBase
CNegFeltOpGenericAdaptorBase
CNotFeltOpGenericAdaptorBase
COrFeltOpGenericAdaptorBase
CPowFeltOpGenericAdaptorBase
CShlFeltOpGenericAdaptorBase
CShrFeltOpGenericAdaptorBase
CSignedIntDivFeltOpGenericAdaptorBase
CSignedModFeltOpGenericAdaptorBase
CSubFeltOpGenericAdaptorBase
CUnsignedIntDivFeltOpGenericAdaptorBase
CUnsignedModFeltOpGenericAdaptorBase
CXorFeltOpGenericAdaptorBase
CAddFeltOp
CAddFeltOpAdaptor
CAddFeltOpGenericAdaptor
CAndFeltOp
CAndFeltOpAdaptor
CAndFeltOpGenericAdaptor
CDivFeltOp
CDivFeltOpAdaptor
CDivFeltOpGenericAdaptor
CFeltBinaryOpInterface
CTrait
CFeltConstantOp
CFeltConstantOpAdaptor
CFeltConstantOpGenericAdaptor
CFeltDialect	LLZK felt (Field ELemenT) type and operations
CFeltType
CInvFeltOp
CInvFeltOpAdaptor
CInvFeltOpGenericAdaptor
CMulFeltOp
CMulFeltOpAdaptor
CMulFeltOpGenericAdaptor
CNegFeltOp
CNegFeltOpAdaptor
CNegFeltOpGenericAdaptor
CNotFeltOp
CNotFeltOpAdaptor
CNotFeltOpGenericAdaptor
COrFeltOp
COrFeltOpAdaptor
COrFeltOpGenericAdaptor
CPowFeltOp
CPowFeltOpAdaptor
CPowFeltOpGenericAdaptor
CShlFeltOp
CShlFeltOpAdaptor
CShlFeltOpGenericAdaptor
CShrFeltOp
CShrFeltOpAdaptor
CShrFeltOpGenericAdaptor
CSignedIntDivFeltOp
CSignedIntDivFeltOpAdaptor
CSignedIntDivFeltOpGenericAdaptor
CSignedModFeltOp
CSignedModFeltOpAdaptor
CSignedModFeltOpGenericAdaptor
CSubFeltOp
CSubFeltOpAdaptor
CSubFeltOpGenericAdaptor
CUnsignedIntDivFeltOp
CUnsignedIntDivFeltOpAdaptor
CUnsignedIntDivFeltOpGenericAdaptor
CUnsignedModFeltOp
CUnsignedModFeltOpAdaptor
CUnsignedModFeltOpGenericAdaptor
CXorFeltOp
CXorFeltOpAdaptor
CXorFeltOpGenericAdaptor
Nfunction
Ndetail
CCallOpGenericAdaptorBase
CProperties
CFuncDefOpGenericAdaptorBase
CProperties
CReturnOpGenericAdaptorBase
CCallOp
CCallOpAdaptor
CCallOpGenericAdaptor
CConstraintGen	Marker for ops that are specific to constraint generation
CFuncDefOp
CFuncDefOpAdaptor
CFuncDefOpGenericAdaptor
CFunctionDialect	LLZK function operations
CNotFieldNative	Marker for ops over llzk.felt type operands that are not native to finite field arithmetic
CReturnOp
CReturnOpAdaptor
CReturnOpGenericAdaptor
CVerification	Marker for ops in the verif dialect that can be inlined inside functions
CImpl
CVerification<>
CImpl
CWitnessGen	Marker for ops that are specific to witness generation
Nglobal
Ndetail	Common interface for operations that read or write from a global
CGlobalDefOpGenericAdaptorBase
CProperties
CGlobalReadOpGenericAdaptorBase
CProperties
CGlobalRefOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CGlobalRefOpInterfaceTrait
CGlobalWriteOpGenericAdaptorBase
CProperties
Nimpl
CConstGlobalPropagationPassBase
CGlobalDefOp
CGlobalDefOpAdaptor
CGlobalDefOpGenericAdaptor
CGlobalDialect	LLZK support for global values, defined outside of structs
CGlobalMemoryResource	Memory resource indicating a global.def memory resource
CGlobalReadOp
CGlobalReadOpAdaptor
CGlobalReadOpGenericAdaptor
CGlobalRefOpInterface
CTrait
CGlobalWriteOp
CGlobalWriteOpAdaptor
CGlobalWriteOpGenericAdaptor
CNormalizedGlobalInitializer	A global initializer and its normalized type
Nimpl
CCallGraphPrinterPassBase
CCallGraphSCCsPrinterPassBase
CComputeConstrainToProductPassBase
CConstraintDependencyGraphPrinterPassBase
CEnforceNoMemberOverwritePassBase
CFuseProductControlFlowPassBase
CInlineFreeFunctionsPassBase
CIntervalAnalysisPrinterPassBase
CMemberWriteValidatorPassBase
CPolyLoweringPassBase
CPredecessorPrinterPassBase
CRedundantOperationEliminationPassBase
CRedundantReadAndWriteEliminationPassBase
CRemoveUnusedDiscardableAllocationsPassBase
CSymbolDefTreePrinterPassBase
CSymbolUseGraphPrinterPassBase
CUnusedDeclarationEliminationPassBase
CWhileToForPassBase
Ninclude
Ndetail
CIncludeOpGenericAdaptorBase
CProperties
Nimpl
CInlineIncludesPassBase
CIncludeDialect	LLZK include operations
CIncludeOp
CIncludeOpAdaptor
CIncludeOpGenericAdaptor
Npod
Ndetail	Common interface for operations that reference a plain-old-data struct value
CNewPodOpGenericAdaptorBase
CProperties
CPodAccessOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CPodAccessOpInterfaceTrait
CPodRefOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CPodRefOpInterfaceTrait
CPodTypeStorage
CReadPodOpGenericAdaptorBase
CProperties
CWritePodOpGenericAdaptorBase
CProperties
Nimpl
CPodToScalarPassBase
CNewPodOp
CNewPodOpAdaptor
CNewPodOpGenericAdaptor
CPodAccessOpInterface
CTrait
CPODDialect	Dialect for working with plain-old-data structs
CPodRefOpInterface
CTrait
CPodType
CReadPodOp
CReadPodOpAdaptor
CReadPodOpGenericAdaptor
CRecordValue
CWritePodOp
CWritePodOpAdaptor
CWritePodOpGenericAdaptor
Npolymorphic
Ndetail	Common interface for constant parameter-like symbol operations that can be defined within a TemplateOp
CAccessPath	A concrete subtree of one execution's storage
CApplyMapOpGenericAdaptorBase
CProperties
CCleanupBase	Shared state for post-instantiation cleanup helpers
CConstraintBindings	Bind scalar leaves without constructing a shadow array or POD object
CConstraintScalarFacts	Evaluate scalar dependencies of structural decisions, assertions, and constant arithmetic
CConstraintStorage	Resolve concrete components and signal provenance directly from original SSA
CConstReadOpGenericAdaptorBase
CProperties
CDiscoveryAggregate	Scalar contents and concrete array shapes, including nested aggregate roots
CDiscoveryStorage	Track only local constant aggregate contents
CDiscoveryValue	A scalar constant or a local aggregate identity. Missing leaves are unknown
CEmptyLegalityCheckCallback
CFromEraseSet	Removes parameterized definitions whose instantiated replacements now cover every remaining use
CInstantiationLayout	Groups the information needed after concrete parameters have been chosen to decide how to name a new instantiated template and how to rewrite the remaining argument list at the use site
CLegalityCheckCallback
CRolledCallTargets	A rolled method call and the concrete specializations it may target
CStorageDescription	Transient description derived from immutable storage accesses, not an environment
CStructSpecializationDiscovery	Determine which concrete struct definitions are needed when instantiating a struct or free function with the supplied template arguments
CStructSpecializationRequest	A struct type that the caller must instantiate, paired with the source use that needs it
CTemplateExprOpGenericAdaptorBase
CProperties
CTemplateOpGenericAdaptorBase
CProperties
CTemplateParamOpGenericAdaptorBase
CProperties
CTemplateSymbolBindingOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CTemplateSymbolBindingOpInterfaceTrait
CTemplateTypeConverter	Substitute known template bindings in function types and inference candidates
CTypeVarTypeStorage
CUnifiableCastOpGenericAdaptorBase
CYieldOpGenericAdaptorBase
Nimpl
CConstraintFlatteningPassBase
CEmptyTemplateRemovalPassBase
CFlatteningPassBase
CTemplateMonomorphizationPassBase
CTypeVarInferencePassBase
CWildcardArraySpecializationPassBase
CApplyMapOp
CApplyMapOpAdaptor
CApplyMapOpGenericAdaptor
CConstReadOp
CConstReadOpAdaptor
CConstReadOpGenericAdaptor
CFlatteningPassOptions
CPolymorphicDialect	LLZK types and operations to support templated/parameterized structs
CStructSpecializationResolver	Resolve concrete struct specializations referenced by poly.family metadata
CTemplateExprOp
CTemplateExprOpAdaptor
CTemplateExprOpGenericAdaptor
CTemplateMonomorphizationPassOptions
CTemplateOp
CTemplateOpAdaptor
CTemplateOpGenericAdaptor
CTemplateParamOp
CTemplateParamOpAdaptor
CTemplateParamOpGenericAdaptor
CTemplateSymbolBindingOpInterface
CTrait
CTypeVarType
CUnifiableCastOp
CUnifiableCastOpAdaptor
CUnifiableCastOpGenericAdaptor
CWildcardArraySpecializationPassOptions
CYieldOp
CYieldOpAdaptor
CYieldOpGenericAdaptor
Nram
Ndetail
CLoadOpGenericAdaptorBase
CStoreOpGenericAdaptorBase
CLoadOp
CLoadOpAdaptor
CLoadOpGenericAdaptor
CRAMDialect	LLZK support for random access memory during witness generation
CStoreOp
CStoreOpAdaptor
CStoreOpGenericAdaptor
Nsmt_info
Ndetail
CSMTInfoSetOpGenericAdaptorBase
CProperties
CSMTInfoDialect	SMT-LIB script metadata retained through emission
CSMTInfoSetOp
CSMTInfoSetOpAdaptor
CSMTInfoSetOpGenericAdaptor
Nstring
Ndetail
CLitStringOpGenericAdaptorBase
CProperties
CLitStringOp
CLitStringOpAdaptor
CLitStringOpGenericAdaptor
CStringDialect	LLZK string type and operations
CStringType
Nverif
Ndetail	Common interface for precondition and postcondition operations
CAssumeDetOpGenericAdaptorBase
CCallableSummaryKey	Cache key for one interprocedural callable-result summary query
CCallableSummaryKeyInfo
CConditionOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CConditionOpInterfaceTrait
CContractEndOpGenericAdaptorBase
CContractOpGenericAdaptorBase
CProperties
CContractTargetOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CContractTargetOpInterfaceTrait
CDecreasesOpGenericAdaptorBase
CEnsureComputeOpGenericAdaptorBase
CEnsureConstrainOpGenericAdaptorBase
CForbiddenInfluenceAnalyzer	Interprocedural verifier-local analysis for forbidden precondition influence
CIncludedContractFailure	One included precondition that becomes illegal under a specific caller binding
CIncludedContractSummary	Summary of all included-contract precondition failures under a specific caller binding
CIncludedContractSummaryKey	Cache key for one interprocedural included-contract summary query
CIncludedContractSummaryKeyInfo
CIncludeOpGenericAdaptorBase
CProperties
CIncreasesOpGenericAdaptorBase
CInvariantOpGenericAdaptorBase
CProperties
CInvariantTargetOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CInvariantTargetOpInterfaceTrait
COldOpGenericAdaptorBase
CPostconditionOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CPostconditionOpInterfaceTrait
CPreconditionOpInterfaceInterfaceTraits
CConcept
CModel
CFallbackModel
CExternalModel
CPreconditionOpInterfaceTrait
CProveDetOpGenericAdaptorBase
CRequireComputeOpGenericAdaptorBase
CRequireConstrainOpGenericAdaptorBase
CStepOpGenericAdaptorBase
CStepYieldOpGenericAdaptorBase
CVerifAssertOpGenericAdaptorBase
CVerifProveOpGenericAdaptorBase
CVerifSMTProveOpGenericAdaptorBase
CAssumeDetOp
CAssumeDetOpAdaptor
CAssumeDetOpGenericAdaptor
CConditionOpInterface
CTrait
CContractEndOp
CContractEndOpAdaptor
CContractEndOpGenericAdaptor
CContractOp
CContractOpAdaptor
CContractOpGenericAdaptor
CContractTargetOpInterface
CTrait
CDecreasesOp
CDecreasesOpAdaptor
CDecreasesOpGenericAdaptor
CEnsureComputeOp
CEnsureComputeOpAdaptor
CEnsureComputeOpGenericAdaptor
CEnsureConstrainOp
CEnsureConstrainOpAdaptor
CEnsureConstrainOpGenericAdaptor
CForbiddenPreconditionInfluenceInfo	Summary of forbidden precondition influence along with representative source locations for each forbidden kind
CIncludeOp
CIncludeOpAdaptor
CIncludeOpGenericAdaptor
CIncreasesOp
CIncreasesOpAdaptor
CIncreasesOpGenericAdaptor
CInvariantOp
CInvariantOpAdaptor
CInvariantOpGenericAdaptor
CInvariantTargetOpInterface
CTrait
COldOp
COldOpAdaptor
COldOpGenericAdaptor
CPostconditionOpInterface
CTrait
CPreconditionOpInterface
CTrait
CProveDetOp
CProveDetOpAdaptor
CProveDetOpGenericAdaptor
CRequireComputeOp
CRequireComputeOpAdaptor
CRequireComputeOpGenericAdaptor
CRequireConstrainOp
CRequireConstrainOpAdaptor
CRequireConstrainOpGenericAdaptor
CStepOp
CStepOpAdaptor
CStepOpGenericAdaptor
CStepYieldOp
CStepYieldOpAdaptor
CStepYieldOpGenericAdaptor
CVerifAssertOp
CVerifAssertOpAdaptor
CVerifAssertOpGenericAdaptor
CVerifDialect	LLZK verification dialect for encoding specifications for functions and structs
CVerifProveOp
CVerifProveOpAdaptor
CVerifProveOpGenericAdaptor
CVerifSMTProveOp
CVerifSMTProveOpAdaptor
CVerifSMTProveOpGenericAdaptor
Nwitgen
CArrayValue	Materialized array value with flattened element storage
CFunctionInterpreter	Execute one flattened LLZK function body over runtime values
CInputBinding	Describe one JSON-visible main input binding
CInterpreter	Drive witness generation for the concrete llzk.main instance
CJSONMismatch	One structured JSON mismatch between expected and actual witgen output
COutputBinding	Describe one selected witness output leaf
CPodValue	Materialized POD value keyed by record name
CStructValue	Materialized struct value keyed by member name
CWitgenOptions	Configure one llzk-witgen execution
CAuxAssignment
CBaseBuilder
CBinaryBuffer	Accumulate fixed-width integers and field elements in little-endian order
CBuildShortTypeString	Note: If any symbol refs in an input Type/Attribute use any of the special characters that this class generates, they are not escaped
CCallGraph	This is a port of mlir::CallGraph that has been adapted to use the custom symbol lookup helpers (see SymbolHelper.h)
CCallGraphAnalysis	An analysis wrapper to compute the CallGraph for a Module
CCallGraphNode	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
CEdge	This class represents a directed edge between two nodes in the callgraph
CCallGraphPrinterPassOptions
CCallGraphReachabilityAnalysis	Lazily-constructed reachability analysis
CCallGraphSCCsPrinterPassOptions
CCDGAnalysisContext	Parameters and shared objects to pass to child analyses
CCommutativeMatcher	This matcher will either match on lhs op rhs or rhs op lhs
CComputeConstrainToProductPassOptions
CConstantCapture	Matches and optionally captures a felt constant
CConstraintDependencyGraph	A dependency graph of constraints enforced by an LLZK struct
CConstraintDependencyGraphModuleAnalysis	A module-level analysis for constructing ConstraintDependencyGraph objects for all structs in the given LLZK module
CConstraintDependencyGraphPrinterPassOptions
CConstraintDependencyGraphStructAnalysis	An analysis wrapper around the ConstraintDependencyGraph for a given struct
CDiscardableAllocationAccessorOpInterface
CTrait
CDiscardableAllocationResource	Memory resource for allocations that may be erased when no stored value is ever read
CDynamicAPIntValue	Attribute storage adapter providing numeric hashing for DynamicAPInt
CExpressionValue	Tracks a solver expression and an interval range for that expression
CHash
CField	Information about the prime finite field used for the interval analysis
CHash	Hash the prime modulus (consistent with the equality operator)
CFileLineColLocComparator
Cfiltered_raw_ostream	Wrapper for llvm::raw_ostream that filters out certain characters selected by a function
CFullPolyLoweringConfig	Pure C++ configuration for the full polynomial lowering pipeline
CFullPolyLoweringOptions	CLI Option configuration for the full polynomial lowering pipeline
CFullStructInliningConfig	Pure C++ configuration for the full struct inlining pipeline
CFullStructInliningOptions	CLI Option configuration for the full struct inlining pipeline
CFunctionTypeConverter	General helper for converting a FuncDefOp by changing its input and/or result types and the associated attributes for those types
CFuzzySet	Represents a set where the membership predicate can take three values: true, false, and "unknown"
CGlobalSourceMgr
CInFlightDiagnosticWrapper	Wrapper around InFlightDiagnostic that can either be a regular InFlightDiagnostic or a special version that asserts false after reporting the diagnostic
CInterval	Intervals over a finite field
CHash
CIntervalAnalysisContext	Parameters and shared objects to pass to child analyses
CIntervalAnalysisLattice
CIntervalAnalysisLatticeValue
CIntervalAnalysisPrinterPassOptions
CIntervalDataFlowAnalysis
CKnownTargetVerifier	Shared signature and template-instantiation checks for a resolved call-like target
CLightweightSignalEquivalenceAnalysis
CLLZKCallLikeOpInterface
CTrait
CLLZKDialect	Common LLZK attributes
CLLZKDialectBytecodeInterface	This implements the bytecode interface for the LLZK dialect
CLLZKDialectVersion
CLLZKLayout	Logical felt-signal paths in a monomorphized LLZK circuit
CLLZKSymbolTableImplTrait	See LLZKSymbolTable ODS documentation for details
CLLZKTypeSwitch	Template pattern for performing some operation by cases based on a given LLZK type
CLocationComparator
CMemberOverwriteAnalysis
CMemberOverwriteLattice
CModuleAnalysis	An analysis wrapper that runs the given StructAnalysisTy struct analysis over all of the struct contained within the module
CModuleBuilder	Builds out a LLZK-compliant module and provides utilities for populating that module
CModuleIntervalAnalysis
CModuleLikeBuilder
CNamedOpLocationLess	Order named operations by source location, using the symbol name to break ties or when source locations cannot be compared
CNestedPassOptions	Stores textual options for a constituent pass after validating them against that pass' native MLIR option parser
CNestedPipelineOptions	Stores textual options for a constituent pipeline after validating them against that pipeline's native MLIR option parser
CNoContext	An empty struct that is used for convenience for analyses that do not require any context
CNonDetOp
CNonDetOpAdaptor
CNonDetOpGenericAdaptor
COpClassesWithStructTypes	Lists all LLZK op classes that may contain a StructType in their results or attributes
COpHash
COpLocationLess
CPolyLoweringPassOptions
CPredecessorAnalysis
CPredecessorLattice
CPredecessorPrinterPassOptions
CProductAligner
CRefValueCapture	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)
CRemoveUnusedDiscardableAllocationsPassOptions
CSourceRef	A reference to a "source", which is the base value from which other SSA values are derived
CHash
CSourceRefAnalysis	The dataflow analysis that computes the set of references that LLZK operations use and produce
CSourceRefIndex	Defines an index into an LLZK object
CHash
CSourceRefLattice	Sparse SSA-value lattice for SourceRef propagation
CSourceRefLatticeValue	A value at a given point of the SourceRefLattice
CSourceRefSet
CSpecializedMem2Reg	A variant of the MLIR mem2reg pass that only promotes memory slots belonging to allocators of type AllocOpTy (which must implement mlir::PromotableAllocationOpInterface)
CSpecializedSROA	A variant of the MLIR sroa pass that only destructures memory slots belonging to allocators of type AllocOpTy (which must implement mlir::DestructurableAllocationOpInterface)
CSplitAggregateInMemberRefOp	Common implementation for handling MemberWriteOp and MemberReadOp while destructuring an aggregate type (e.g., ArrayType or PodType) stored in a struct member
CSplitFunctionNameInfo	Cached function arg/result names and split suffixes used while rewriting a function signature
CStructAnalysis	This is the base class for a dataflow analysis designed to run on a single struct (i.e., a single component)
CStructInliningFlatteningOptions	Typed nested options for the flattening pass when used inside the full struct-inlining and full poly-lowering pipelines
CStructIntervalAnalysis
CStructIntervals
CSymbolDefTree	Builds a tree structure representing the symbol table structure
CSymbolDefTreeNode
CSymbolDefTreePrinterPassOptions
CSymbolLookupResult
CSymbolLookupResultUntyped
CSymbolUseGraph	Builds a graph structure representing the relationships between symbols and their uses
CSymbolUseGraphNode
CSymbolUseGraphPrinterPassOptions
CTemplateBuilder	Builds out a LLZK-compliant template and provides utilities for populating that template
CUnreducedInterval	An inclusive interval [a, b] where a and b are arbitrary integers not necessarily bound to a given field
CHash
CUnusedDeclarationEliminationPassOptions
CValueCopyDialectInterface	Dialect hook for materializing independent storage for mutable value types
CVerifySizesForMultiAffineOps	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
CImpl
CWithin
Nmlir
CFieldParser
CFieldParser< llvm::APInt >
CFieldParser< 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:
CFieldParser< std::optional<::llzk::cast::OverflowSemantics >, std::optional<::llzk::cast::OverflowSemantics > >	Support for std::optional, useful in attribute/type definition where the enum is used as:
CFieldParser< std::optional<::llzk::OutputStream >, std::optional<::llzk::OutputStream > >	Support for std::optional, useful in attribute/type definition where the enum is used as:
CFieldParser< std::optional<::llzk::polymorphic::FlatteningCleanupMode >, std::optional<::llzk::polymorphic::FlatteningCleanupMode > >	Support for std::optional, useful in attribute/type definition where the enum is used as:
CFieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate >
CFieldParser<::llzk::cast::OverflowSemantics, ::llzk::cast::OverflowSemantics >
CFieldParser<::llzk::OutputStream, ::llzk::OutputStream >
CFieldParser<::llzk::polymorphic::FlatteningCleanupMode, ::llzk::polymorphic::FlatteningCleanupMode >
Nstd	STL namespace
Chash< llzk::CDGAnalysisContext >
Chash< llzk::IntervalAnalysisContext >
CAddFeltOpBuildFuncHelper
CAndBoolOpBuildFuncHelper
CAndFeltOpBuildFuncHelper
CArrayDialectLinkTests
CArrayLengthOpBuildFuncHelper
CArrayOperationLinkTests
CArrayTypeLinkTests
CAssertOpBuildFuncHelper
CAssumeDetOpBuildFuncHelper
CAttrOrTypeHeaderGenerator	Generator for attribute/type C header files
CAttrOrTypeImplementationGenerator	Generator for attribute/type C implementation files
CAttrOrTypeTestGenerator	Base class for attribute and type test generators
CBoolAttributeLinkTests
CBoolDialectLinkTests
CBoolEnumLinkTests
CBoolOperationLinkTests
CCastAttributeLinkTests
CCastDialectLinkTests
CCastEnumLinkTests
CCastOperationLinkTests
CClangLexerContext	RAII wrapper for Clang lexer infrastructure
CImpl
CCmpOpBuildFuncHelper
CConstrainDialectLinkTests
CConstrainOperationLinkTests
CConstReadOpBuildFuncHelper
CContractEndOpBuildFuncHelper
CCreateStructOpBuildFuncHelper
CDecreasesOpBuildFuncHelper
CDivFeltOpBuildFuncHelper
CEmitContainmentOpBuildFuncHelper
CEmitEqualityOpBuildFuncHelper
CEnsureComputeOpBuildFuncHelper
CEnsureConstrainOpBuildFuncHelper
CExistsOpBuildFuncHelper
CExtractArrayOpBuildFuncHelper
CExtraMethod	Structure to represent a parsed method signature from an extraClassDeclaration
CFeltAttributeLinkTests
CFeltConstantOpBuildFuncHelper
CFeltDialectLinkTests
CFeltOperationLinkTests
CFeltToIndexOpBuildFuncHelper
CFeltTypeLinkTests
CForAllOpBuildFuncHelper
CFuncDefOpBuildFuncHelper
CFunctionAttributeLinkTests
CFunctionDialectLinkTests
CFunctionOperationLinkTests
CGenerator	Base class for C API generators
CGenStringFromOpPieces	Helper struct to generate a string from operation operand, attribute, and result pieces
CGlobalDefOpBuildFuncHelper
CGlobalDialectLinkTests
CGlobalOperationLinkTests
CGlobalReadOpBuildFuncHelper
CGlobalWriteOpBuildFuncHelper
CHeaderGenerator	Generator for common C header file elements
CImplementationGenerator	Generator for common C implementation file elements
CIncludeDialectLinkTests
CIncludeOpBuildFuncHelper
CIncludeOperationLinkTests
CIncreasesOpBuildFuncHelper
CInsertArrayOpBuildFuncHelper
CIntToFeltOpBuildFuncHelper
CInvFeltOpBuildFuncHelper
CLitStringOpBuildFuncHelper
CLlzkAffineMapOperandsBuilder	Encapsulates the arguments related to affine maps that are common in operation constructors that support them
CLlzkAttributeLinkTests
CLlzkDialectLinkTests
CLlzkOperationLinkTests
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
CLoadOpBuildFuncHelper
CMapOperandsHelper	Helper for unwrapping the C arguments for the map operands
CMemberWriteOpBuildFuncHelper
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
CMulFeltOpBuildFuncHelper
CNegFeltOpBuildFuncHelper
CNonDetOpBuildFuncHelper
CNotBoolOpBuildFuncHelper
CNotFeltOpBuildFuncHelper
COldOpBuildFuncHelper
COpGeneratorData	Common between header and implementation generators for operations
COpHeaderGenerator	Generator for operation C header files
COpImplementationGenerator	Generator for operation C implementation files
COrBoolOpBuildFuncHelper
COrFeltOpBuildFuncHelper
CPodAttributeLinkTests
CPodDialectLinkTests
CPodOperationLinkTests
CPodTypeLinkTests
CPolyDialectLinkTests
CPolyOperationLinkTests
CPolyTypeLinkTests
CPowFeltOpBuildFuncHelper
CProveDetOpBuildFuncHelper
CRamDialectLinkTests
CRamOperationLinkTests
CReadArrayOpBuildFuncHelper
CReadPodOpBuildFuncHelper
CRequireComputeOpBuildFuncHelper
CRequireConstrainOpBuildFuncHelper
CReturnOpBuildFuncHelper
CShlFeltOpBuildFuncHelper
CShrFeltOpBuildFuncHelper
CSignedIntDivFeltOpBuildFuncHelper
CSignedModFeltOpBuildFuncHelper
CStepOpBuildFuncHelper
CStepYieldOpBuildFuncHelper
CStoreOpBuildFuncHelper
CStringDialectLinkTests
CStringOperationLinkTests
CStringTypeLinkTests
CStructDefOpBuildFuncHelper
CStructDialectLinkTests
CStructOperationLinkTests
CStructTypeLinkTests
CSubFeltOpBuildFuncHelper
CTemplateExprOpBuildFuncHelper
CTemplateOpBuildFuncHelper
CTemplateParamOpBuildFuncHelper
CTestGenerator	Generator for common test implementation file elements
CUnifiableCastOpBuildFuncHelper
CUnsignedIntDivFeltOpBuildFuncHelper
CUnsignedModFeltOpBuildFuncHelper
CVerifAssertOpBuildFuncHelper
CVerifDialectLinkTests
CVerifOperationLinkTests
CVerifProveOpBuildFuncHelper
CVerifSMTProveOpBuildFuncHelper
CWriteArrayOpBuildFuncHelper
CWritePodOpBuildFuncHelper
CXorBoolOpBuildFuncHelper
CXorFeltOpBuildFuncHelper
CYieldOpBuildFuncHelper