LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Class Index
A | B | C | D | E | F | G | H | I | L | M | N | O | P | R | S | T | U | V | W | X
A
AbstractDenseForwardDataFlowAnalysis (llzk::dataflow)
AbstractLatticeValue (llzk::dataflow)
AddFeltOp (llzk::felt)
AddFeltOpAdaptor (llzk::felt)
AddFeltOpGenericAdaptor (llzk::felt)
AddFeltOpGenericAdaptorBase (llzk::felt::detail)
AndBoolOp (llzk::boolean)
AndBoolOpAdaptor (llzk::boolean)
AndBoolOpGenericAdaptor (llzk::boolean)
AndBoolOpGenericAdaptorBase (llzk::boolean::detail)
AndFeltOp (llzk::felt)
AndFeltOpAdaptor (llzk::felt)
AndFeltOpGenericAdaptor (llzk::felt)
AndFeltOpGenericAdaptorBase (llzk::felt::detail)
ApplyMapOp (llzk::polymorphic)
ApplyMapOpAdaptor (llzk::polymorphic)
ApplyMapOpGenericAdaptor (llzk::polymorphic)
ApplyMapOpGenericAdaptorBase (llzk::polymorphic::detail)
ArrayAccessOpInterface (llzk::array)
ArrayAccessOpInterfaceInterfaceTraits (llzk::array::detail)
ArrayAccessOpInterfaceTrait (llzk::array::detail)
ArrayDialect (llzk::array)
ArrayIndexGen (llzk::array)
ArrayLengthOp (llzk::array)
ArrayLengthOpAdaptor (llzk::array)
ArrayLengthOpGenericAdaptor (llzk::array)
ArrayLengthOpGenericAdaptorBase (llzk::array::detail)
ArrayRefOpInterface (llzk::array)
ArrayRefOpInterfaceInterfaceTraits (llzk::array::detail)
ArrayRefOpInterfaceTrait (llzk::array::detail)
ArrayToScalarPassBase (llzk::array::impl)
ArrayType (llzk::array)
ArrayTypeStorage (llzk::array::detail)
AssertOp (llzk::boolean)
AssertOpAdaptor (llzk::boolean)
AssertOpGenericAdaptor (llzk::boolean)
AssertOpGenericAdaptorBase (llzk::boolean::detail)
AuxAssignment (llzk)
B
BoolDialect (llzk::boolean)
BuildShortTypeString (llzk)
C
CallGraph (llzk)
CallGraphAnalysis (llzk)
CallGraphNode (llzk)
CallGraphPrinterPass (llzk)
CallGraphPrinterPassBase (llzk::impl)
CallGraphReachabilityAnalysis (llzk)
CallGraphSCCsPrinterPass (llzk)
CallGraphSCCsPrinterPassBase (llzk::impl)
CallOp (llzk::function)
CallOpAdaptor (llzk::function)
CallOpClassReplacePattern (llzk::polymorphic::detail)
CallOpGenericAdaptor (llzk::function)
CallOpGenericAdaptorBase (llzk::function::detail)
CastDialect (llzk::cast)
CmpOp (llzk::boolean)
CmpOpAdaptor (llzk::boolean)
CmpOpGenericAdaptor (llzk::boolean)
CmpOpGenericAdaptorBase (llzk::boolean::detail)
ArrayAccessOpInterfaceInterfaceTraits::Concept (llzk::array::detail)
ArrayRefOpInterfaceInterfaceTraits::Concept (llzk::array::detail)
FieldRefOpInterfaceInterfaceTraits::Concept (llzk::component::detail)
ConstraintOpInterfaceInterfaceTraits::Concept (llzk::constrain::detail)
GlobalRefOpInterfaceInterfaceTraits::Concept (llzk::global::detail)
ConstrainDialect (llzk::constrain)
ConstrainRef (llzk)
ConstrainRefAnalysis (llzk)
ConstrainRefIndex (llzk)
ConstrainRefLattice (llzk)
ConstrainRefLatticeValue (llzk)
ConstrainRefSet (llzk)
ConstraintDependencyGraph (llzk)
ConstraintDependencyGraphModuleAnalysis (llzk)
ConstraintDependencyGraphPrinterPass (llzk)
ConstraintDependencyGraphPrinterPassBase (llzk::impl)
ConstraintDependencyGraphStructAnalysis (llzk)
ConstraintGen (llzk::function)
ConstraintOpInterface (llzk::constrain)
ConstraintOpInterfaceInterfaceTraits (llzk::constrain::detail)
ConstraintOpInterfaceTrait (llzk::constrain::detail)
ConstReadOp (llzk::polymorphic)
ConstReadOpAdaptor (llzk::polymorphic)
ConstReadOpGenericAdaptor (llzk::polymorphic)
ConstReadOpGenericAdaptorBase (llzk::polymorphic::detail)
CreateArrayOp (llzk::array)
CreateArrayOpAdaptor (llzk::array)
CreateArrayOpClassReplacePattern (llzk::polymorphic::detail)
CreateArrayOpGenericAdaptor (llzk::array)
CreateArrayOpGenericAdaptorBase (llzk::array::detail)
CreateStructOp (llzk::component)
CreateStructOpAdaptor (llzk::component)
CreateStructOpGenericAdaptor (llzk::component)
CreateStructOpGenericAdaptorBase (llzk::component::detail)
D
DenseForwardDataFlowAnalysis (llzk::dataflow)
DenseMapInfo< llzk::ConstrainRef > (llvm)
DenseMapInfo< llzk::ExpressionValue > (llvm)
DenseMapInfo< llzk::Side > (llvm)
DenseMapInfo< OperationComparator > (llvm)
DenseMapInfo< ReferenceID > (llvm)
DenseMapInfo<::llzk::boolean::FeltCmpPredicate > (llvm)
DenseMapInfo<::llzk::OutputStream > (llvm)
DenseMapInfo<::llzk::polymorphic::StructCleanupMode > (llvm)
DivFeltOp (llzk::felt)
DivFeltOpAdaptor (llzk::felt)
DivFeltOpGenericAdaptor (llzk::felt)
DivFeltOpGenericAdaptorBase (llzk::felt::detail)
DOTGraphTraits< const llzk::SymbolDefTree * > (llvm)
DOTGraphTraits< const llzk::SymbolDefTreeNode * > (llvm)
DOTGraphTraits< const llzk::SymbolUseGraph * > (llvm)
DOTGraphTraits< const llzk::SymbolUseGraphNode * > (llvm)
E
CallGraphNode::Edge (llzk)
EmitContainmentOp (llzk::constrain)
EmitContainmentOpAdaptor (llzk::constrain)
EmitContainmentOpGenericAdaptor (llzk::constrain)
EmitContainmentOpGenericAdaptorBase (llzk::constrain::detail)
EmitEqualityOp (llzk::constrain)
EmitEqualityOpAdaptor (llzk::constrain)
EmitEqualityOpGenericAdaptor (llzk::constrain)
EmitEqualityOpGenericAdaptorBase (llzk::constrain::detail)
EmptyParamListRemovalPassBase (llzk::polymorphic::impl)
ExpressionValue (llzk)
ArrayAccessOpInterfaceInterfaceTraits::ExternalModel (llzk::array::detail)
ArrayRefOpInterfaceInterfaceTraits::ExternalModel (llzk::array::detail)
FieldRefOpInterfaceInterfaceTraits::ExternalModel (llzk::component::detail)
ConstraintOpInterfaceInterfaceTraits::ExternalModel (llzk::constrain::detail)
GlobalRefOpInterfaceInterfaceTraits::ExternalModel (llzk::global::detail)
ExtractArrayOp (llzk::array)
ExtractArrayOpAdaptor (llzk::array)
ExtractArrayOpGenericAdaptor (llzk::array)
ExtractArrayOpGenericAdaptorBase (llzk::array::detail)
F
ArrayAccessOpInterfaceInterfaceTraits::FallbackModel (llzk::array::detail)
ArrayRefOpInterfaceInterfaceTraits::FallbackModel (llzk::array::detail)
FieldRefOpInterfaceInterfaceTraits::FallbackModel (llzk::component::detail)
ConstraintOpInterfaceInterfaceTraits::FallbackModel (llzk::constrain::detail)
GlobalRefOpInterfaceInterfaceTraits::FallbackModel (llzk::global::detail)
FeltConstantOp (llzk::felt)
FeltConstantOpAdaptor (llzk::felt)
FeltConstantOpGenericAdaptor (llzk::felt)
FeltConstantOpGenericAdaptorBase (llzk::felt::detail)
FeltDialect (llzk::felt)
FeltNonDetOp (llzk::felt)
FeltNonDetOpAdaptor (llzk::felt)
FeltNonDetOpGenericAdaptor (llzk::felt)
FeltNonDetOpGenericAdaptorBase (llzk::felt::detail)
FeltToIndexOp (llzk::cast)
FeltToIndexOpAdaptor (llzk::cast)
FeltToIndexOpGenericAdaptor (llzk::cast)
FeltToIndexOpGenericAdaptorBase (llzk::cast::detail)
FeltType (llzk::felt)
Field (llzk)
FieldDefOp (llzk::component)
FieldDefOpAdaptor (llzk::component)
FieldDefOpGenericAdaptor (llzk::component)
FieldDefOpGenericAdaptorBase (llzk::component::detail)
FieldParser (mlir)
FieldParser< llvm::APInt > (mlir)
FieldParser<::llzk::boolean::FeltCmpPredicate, ::llzk::boolean::FeltCmpPredicate > (mlir)
FieldParser<::llzk::OutputStream, ::llzk::OutputStream > (mlir)
FieldParser<::llzk::polymorphic::StructCleanupMode, ::llzk::polymorphic::StructCleanupMode > (mlir)
FieldReadOp (llzk::component)
FieldReadOpAdaptor (llzk::component)
FieldReadOpGenericAdaptor (llzk::component)
FieldReadOpGenericAdaptorBase (llzk::component::detail)
FieldRefOpInterface (llzk::component)
FieldRefOpInterfaceInterfaceTraits (llzk::component::detail)
FieldRefOpInterfaceTrait (llzk::component::detail)
FieldWriteOp (llzk::component)
FieldWriteOpAdaptor (llzk::component)
FieldWriteOpGenericAdaptor (llzk::component)
FieldWriteOpGenericAdaptorBase (llzk::component::detail)
FieldWriteValidatorPassBase (llzk::impl)
filtered_raw_ostream (llzk)
FlatteningPassBase (llzk::polymorphic::impl)
FlatteningPassOptions (llzk::polymorphic)
FullPolyLoweringOptions (llzk)
FuncDefOp (llzk::function)
FuncDefOpAdaptor (llzk::function)
FuncDefOpGenericAdaptor (llzk::function)
FuncDefOpGenericAdaptorBase (llzk::function::detail)
FunctionDialect (llzk::function)
G
GeneralTypeReplacePattern (llzk::polymorphic::detail)
GlobalDefOp (llzk::global)
GlobalDefOpAdaptor (llzk::global)
GlobalDefOpGenericAdaptor (llzk::global)
GlobalDefOpGenericAdaptorBase (llzk::global::detail)
GlobalDialect (llzk::global)
GlobalReadOp (llzk::global)
GlobalReadOpAdaptor (llzk::global)
GlobalReadOpGenericAdaptor (llzk::global)
GlobalReadOpGenericAdaptorBase (llzk::global::detail)
GlobalRefOpInterface (llzk::global)
GlobalRefOpInterfaceInterfaceTraits (llzk::global::detail)
GlobalRefOpInterfaceTrait (llzk::global::detail)
GlobalSourceMgr (llzk)
GlobalWriteOp (llzk::global)
GlobalWriteOpAdaptor (llzk::global)
GlobalWriteOpGenericAdaptor (llzk::global)
GlobalWriteOpGenericAdaptorBase (llzk::global::detail)
GraphTraits (llvm)
GraphTraits< const llzk::CallGraph * > (llvm)
GraphTraits< const llzk::CallGraphNode * > (llvm)
GraphTraits< const llzk::SymbolDefTree * > (llvm)
GraphTraits< const llzk::SymbolDefTreeNode * > (llvm)
GraphTraits< const llzk::SymbolUseGraph * > (llvm)
GraphTraits< const llzk::SymbolUseGraphNode * > (llvm)
GraphTraits< Inverse< const llzk::SymbolUseGraph * > > (llvm)
GraphTraits< Inverse< const llzk::SymbolUseGraphNode * > > (llvm)
H
ConstrainRef::Hash (llzk)
ConstrainRefIndex::Hash (llzk)
ExpressionValue::Hash (llzk)
Interval::Hash (llzk)
I
InStructFunctionNamed::Impl (llzk::component)
VerifySizesForMultiAffineOps::Impl (llzk)
IncludeDialect (llzk::include)
IncludeOp (llzk::include)
IncludeOpAdaptor (llzk::include)
IncludeOpGenericAdaptor (llzk::include)
IncludeOpGenericAdaptorBase (llzk::include::detail)
InlineIncludesPassBase (llzk::include::impl)
InsertArrayOp (llzk::array)
InsertArrayOpAdaptor (llzk::array)
InsertArrayOpGenericAdaptor (llzk::array)
InsertArrayOpGenericAdaptorBase (llzk::array::detail)
InStructFunctionNamed (llzk::component)
Interval (llzk)
IntervalAnalysisContext (llzk)
IntervalAnalysisLattice (llzk)
IntervalAnalysisLatticeValue (llzk)
IntervalAnalysisPrinterPass (llzk)
IntervalAnalysisPrinterPassBase (llzk::impl)
IntervalAnalysisPrinterPassOptions (llzk)
IntervalDataFlowAnalysis (llzk)
IntToFeltOp (llzk::cast)
IntToFeltOpAdaptor (llzk::cast)
IntToFeltOpGenericAdaptor (llzk::cast)
IntToFeltOpGenericAdaptorBase (llzk::cast::detail)
InvFeltOp (llzk::felt)
InvFeltOpAdaptor (llzk::felt)
InvFeltOpGenericAdaptor (llzk::felt)
InvFeltOpGenericAdaptorBase (llzk::felt::detail)
L
LitStringOp (llzk::string)
LitStringOpAdaptor (llzk::string)
LitStringOpGenericAdaptor (llzk::string)
LitStringOpGenericAdaptorBase (llzk::string::detail)
LLZKDialect (llzk)
LLZKDialectBytecodeInterface (llzk)
LLZKDialectVersion (llzk)
M
MapOperandsHelper
MlirValueRange
ArrayAccessOpInterfaceInterfaceTraits::Model (llzk::array::detail)
ArrayRefOpInterfaceInterfaceTraits::Model (llzk::array::detail)
FieldRefOpInterfaceInterfaceTraits::Model (llzk::component::detail)
ConstraintOpInterfaceInterfaceTraits::Model (llzk::constrain::detail)
GlobalRefOpInterfaceInterfaceTraits::Model (llzk::global::detail)
ModFeltOp (llzk::felt)
ModFeltOpAdaptor (llzk::felt)
ModFeltOpGenericAdaptor (llzk::felt)
ModFeltOpGenericAdaptorBase (llzk::felt::detail)
ModuleAnalysis (llzk)
ModuleBuilder (llzk)
ModuleIntervalAnalysis (llzk)
MulFeltOp (llzk::felt)
MulFeltOpAdaptor (llzk::felt)
MulFeltOpGenericAdaptor (llzk::felt)
MulFeltOpGenericAdaptorBase (llzk::felt::detail)
N
NamedOpLocationLess (llzk)
NegFeltOp (llzk::felt)
NegFeltOpAdaptor (llzk::felt)
NegFeltOpGenericAdaptor (llzk::felt)
NegFeltOpGenericAdaptorBase (llzk::felt::detail)
NoContext (llzk)
NotBoolOp (llzk::boolean)
NotBoolOpAdaptor (llzk::boolean)
NotBoolOpGenericAdaptor (llzk::boolean)
NotBoolOpGenericAdaptorBase (llzk::boolean::detail)
NotFeltOp (llzk::felt)
NotFeltOpAdaptor (llzk::felt)
NotFeltOpGenericAdaptor (llzk::felt)
NotFeltOpGenericAdaptorBase (llzk::felt::detail)
O
OpHash (llzk)
OpLocationLess (llzk)
OrBoolOp (llzk::boolean)
OrBoolOpAdaptor (llzk::boolean)
OrBoolOpGenericAdaptor (llzk::boolean)
OrBoolOpGenericAdaptorBase (llzk::boolean::detail)
OrFeltOp (llzk::felt)
OrFeltOpAdaptor (llzk::felt)
OrFeltOpGenericAdaptor (llzk::felt)
OrFeltOpGenericAdaptorBase (llzk::felt::detail)
P
PolyLoweringPassBase (llzk::impl)
PolyLoweringPassOptions (llzk)
PolymorphicDialect (llzk::polymorphic)
CreateArrayOpGenericAdaptorBase::Properties (llzk::array::detail)
AssertOpGenericAdaptorBase::Properties (llzk::boolean::detail)
CmpOpGenericAdaptorBase::Properties (llzk::boolean::detail)
FieldDefOpGenericAdaptorBase::Properties (llzk::component::detail)
FieldReadOpGenericAdaptorBase::Properties (llzk::component::detail)
FieldWriteOpGenericAdaptorBase::Properties (llzk::component::detail)
StructDefOpGenericAdaptorBase::Properties (llzk::component::detail)
FeltConstantOpGenericAdaptorBase::Properties (llzk::felt::detail)
CallOpGenericAdaptorBase::Properties (llzk::function::detail)
FuncDefOpGenericAdaptorBase::Properties (llzk::function::detail)
GlobalDefOpGenericAdaptorBase::Properties (llzk::global::detail)
GlobalReadOpGenericAdaptorBase::Properties (llzk::global::detail)
GlobalWriteOpGenericAdaptorBase::Properties (llzk::global::detail)
IncludeOpGenericAdaptorBase::Properties (llzk::include::detail)
ApplyMapOpGenericAdaptorBase::Properties (llzk::polymorphic::detail)
ConstReadOpGenericAdaptorBase::Properties (llzk::polymorphic::detail)
LitStringOpGenericAdaptorBase::Properties (llzk::string::detail)
R
R1CSLoweringPassBase (llzk::impl)
ReadArrayOp (llzk::array)
ReadArrayOpAdaptor (llzk::array)
ReadArrayOpGenericAdaptor (llzk::array)
ReadArrayOpGenericAdaptorBase (llzk::array::detail)
RedundantOperationEliminationPassBase (llzk::impl)
RedundantReadAndWriteEliminationPassBase (llzk::impl)
ReturnOp (llzk::function)
ReturnOpAdaptor (llzk::function)
ReturnOpGenericAdaptor (llzk::function)
ReturnOpGenericAdaptorBase (llzk::function::detail)
S
SetFuncAllowAttrs (llzk::component)
ShlFeltOp (llzk::felt)
ShlFeltOpAdaptor (llzk::felt)
ShlFeltOpGenericAdaptor (llzk::felt)
ShlFeltOpGenericAdaptorBase (llzk::felt::detail)
ShrFeltOp (llzk::felt)
ShrFeltOpAdaptor (llzk::felt)
ShrFeltOpGenericAdaptor (llzk::felt)
ShrFeltOpGenericAdaptorBase (llzk::felt::detail)
StringDialect (llzk::string)
StringType (llzk::string)
StructAnalysis (llzk)
StructDefOp (llzk::component)
StructDefOpAdaptor (llzk::component)
StructDefOpGenericAdaptor (llzk::component)
StructDefOpGenericAdaptorBase (llzk::component::detail)
StructDialect (llzk::component)
StructIntervalAnalysis (llzk)
StructIntervals (llzk)
StructType (llzk::component)
StructTypeStorage (llzk::component::detail)
SubFeltOp (llzk::felt)
SubFeltOpAdaptor (llzk::felt)
SubFeltOpGenericAdaptor (llzk::felt)
SubFeltOpGenericAdaptorBase (llzk::felt::detail)
SymbolDefTree (llzk)
SymbolDefTreeNode (llzk)
SymbolDefTreePass (llzk)
SymbolDefTreePrinterPassBase (llzk::impl)
SymbolDefTreePrinterPassOptions (llzk)
SymbolLookupResult (llzk)
SymbolLookupResultUntyped (llzk)
SymbolUseGraph (llzk)
SymbolUseGraphNode (llzk)
SymbolUseGraphPass (llzk)
SymbolUseGraphPrinterPassBase (llzk::impl)
SymbolUseGraphPrinterPassOptions (llzk)
T
ArrayAccessOpInterface::Trait (llzk::array)
ArrayRefOpInterface::Trait (llzk::array)
FieldRefOpInterface::Trait (llzk::component)
ConstraintOpInterface::Trait (llzk::constrain)
GlobalRefOpInterface::Trait (llzk::global)
TypeVarType (llzk::polymorphic)
TypeVarTypeStorage (llzk::polymorphic::detail)
U
UndefDialect (llzk::undef)
UndefOp (llzk::undef)
UndefOpAdaptor (llzk::undef)
UndefOpGenericAdaptor (llzk::undef)
UndefOpGenericAdaptorBase (llzk::undef::detail)
UnifiableCastOp (llzk::polymorphic)
UnifiableCastOpAdaptor (llzk::polymorphic)
UnifiableCastOpGenericAdaptor (llzk::polymorphic)
UnifiableCastOpGenericAdaptorBase (llzk::polymorphic::detail)
UnreducedInterval (llzk)
UnusedDeclarationEliminationPassBase (llzk::impl)
UnusedDeclarationEliminationPassOptions (llzk)
V
VerifySizesForMultiAffineOps (llzk)
W
Within (llzk)
WitnessGen (llzk::function)
WriteArrayOp (llzk::array)
WriteArrayOpAdaptor (llzk::array)
WriteArrayOpGenericAdaptor (llzk::array)
WriteArrayOpGenericAdaptorBase (llzk::array::detail)
X
XorBoolOp (llzk::boolean)
XorBoolOpAdaptor (llzk::boolean)
XorBoolOpGenericAdaptor (llzk::boolean)
XorBoolOpGenericAdaptorBase (llzk::boolean::detail)
XorFeltOp (llzk::felt)
XorFeltOpAdaptor (llzk::felt)
XorFeltOpGenericAdaptor (llzk::felt)
XorFeltOpGenericAdaptorBase (llzk::felt::detail)