- Generated by
1.17.0
|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
This is the complete list of members for llzk::verif::IncludeOp, including all inherited members.
| Adaptor typedef | llzk::verif::IncludeOp | |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| computePropertiesHash(const Properties &prop) | llzk::verif::IncludeOp | static |
| contractTargetsStruct() | llzk::verif::IncludeOp | |
| create(::mlir::OpBuilder &builder, ::mlir::Location location, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::ImplicitLocOpBuilder &builder, ::mlir::SymbolRefAttr callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::OpBuilder &builder, ::mlir::Location location, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::ImplicitLocOpBuilder &builder, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::OpBuilder &builder, ::mlir::Location location, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::ImplicitLocOpBuilder &builder, ::mlir::SymbolRefAttr callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::OpBuilder &builder, ::mlir::Location location, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::ImplicitLocOpBuilder &builder, ::llzk::verif::ContractOp callee, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::OpBuilder &builder, ::mlir::Location location, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::ImplicitLocOpBuilder &builder, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::mlir::DenseI32ArrayAttr numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::OpBuilder &builder, ::mlir::Location location, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| create(::mlir::ImplicitLocOpBuilder &builder, ::llzk::verif::ContractOp callee, ::llvm::ArrayRef<::mlir::ValueRange > mapOperands, ::llvm::ArrayRef< int32_t > numDimsPerMap, ::mlir::ValueRange argOperands={}, ::llvm::ArrayRef<::mlir::Attribute > templateParams={}) | llzk::verif::IncludeOp | static |
| FoldAdaptor typedef | llzk::verif::IncludeOp | |
| GenericAdaptor typedef | llzk::verif::IncludeOp | |
| getArgAttrs() | llzk::verif::IncludeOp | |
| getArgAttrsAttr() | llzk::verif::IncludeOp | inline |
| getArgAttrsAttrName() | llzk::verif::IncludeOp | inline |
| getArgAttrsAttrName(::mlir::OperationName name) | llzk::verif::IncludeOp | inlinestatic |
| getArgOperands() | llzk::verif::IncludeOp | inline |
| getArgOperandsMutable() | llzk::verif::IncludeOp | |
| getAttributeNames() | llzk::verif::IncludeOp | inline |
| getCallableForCallee() | llzk::verif::IncludeOp | |
| getCallee() | llzk::verif::IncludeOp | |
| getCalleeAttr() | llzk::verif::IncludeOp | inline |
| getCalleeAttrName() | llzk::verif::IncludeOp | inline |
| getCalleeAttrName(::mlir::OperationName name) | llzk::verif::IncludeOp | inlinestatic |
| getCalleeTarget(::mlir::SymbolTableCollection &tables) | llzk::verif::IncludeOp | |
| getInherentAttr(::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name) | llzk::verif::IncludeOp | static |
| getMapOperands() | llzk::verif::IncludeOp | inline |
| getMapOperandsMutable() | llzk::verif::IncludeOp | |
| getMapOpGroupSizes() | llzk::verif::IncludeOp | |
| getMapOpGroupSizesAttr() | llzk::verif::IncludeOp | inline |
| getMapOpGroupSizesAttrName() | llzk::verif::IncludeOp | inline |
| getMapOpGroupSizesAttrName(::mlir::OperationName name) | llzk::verif::IncludeOp | inlinestatic |
| getNumDimsPerMap() | llzk::verif::IncludeOp | |
| getNumDimsPerMapAttr() | llzk::verif::IncludeOp | inline |
| getNumDimsPerMapAttrName() | llzk::verif::IncludeOp | inline |
| getNumDimsPerMapAttrName(::mlir::OperationName name) | llzk::verif::IncludeOp | inlinestatic |
| getODSOperandIndexAndLength(unsigned index) | llzk::verif::IncludeOp | |
| getODSOperands(unsigned index) | llzk::verif::IncludeOp | inline |
| getODSResultIndexAndLength(unsigned index) | llzk::verif::IncludeOp | inline |
| getODSResults(unsigned index) | llzk::verif::IncludeOp | inline |
| getOperandSegmentSizesAttrName() | llzk::verif::IncludeOp | inline |
| getOperandSegmentSizesAttrName(::mlir::OperationName name) | llzk::verif::IncludeOp | inlinestatic |
| getOperationName() | llzk::verif::IncludeOp | inlinestatic |
| getPropertiesAsAttr(::mlir::MLIRContext *ctx, const Properties &prop) | llzk::verif::IncludeOp | static |
| getResAttrs() | llzk::verif::IncludeOp | |
| getResAttrsAttr() | llzk::verif::IncludeOp | inline |
| getResAttrsAttrName() | llzk::verif::IncludeOp | inline |
| getResAttrsAttrName(::mlir::OperationName name) | llzk::verif::IncludeOp | inlinestatic |
| getSelfValue() | llzk::verif::IncludeOp | |
| getTemplateParams() | llzk::verif::IncludeOp | |
| getTemplateParamsAttr() | llzk::verif::IncludeOp | inline |
| getTemplateParamsAttrName() | llzk::verif::IncludeOp | inline |
| getTemplateParamsAttrName(::mlir::OperationName name) | llzk::verif::IncludeOp | inlinestatic |
| odsIndex_argOperands | llzk::verif::IncludeOp | static |
| odsIndex_mapOperands | llzk::verif::IncludeOp | static |
| parse(::mlir::OpAsmParser &parser, ::mlir::OperationState &result) | llzk::verif::IncludeOp | static |
| populateDefaultProperties(::mlir::OperationName opName, Properties &properties) | llzk::verif::IncludeOp | static |
| populateInherentAttrs(::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs) | llzk::verif::IncludeOp | static |
| print(::mlir::OpAsmPrinter &_odsPrinter) | llzk::verif::IncludeOp | |
| Properties typedef | llzk::verif::IncludeOp | |
| readProperties(::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state) | llzk::verif::IncludeOp | static |
| removeArgAttrsAttr() | llzk::verif::IncludeOp | inline |
| removeResAttrsAttr() | llzk::verif::IncludeOp | inline |
| removeTemplateParamsAttr() | llzk::verif::IncludeOp | inline |
| resolveCallable() | llzk::verif::IncludeOp | |
| resolveCallableInTable(::mlir::SymbolTableCollection *symbolTable) | llzk::verif::IncludeOp | |
| setArgAttrsAttr(::mlir::ArrayAttr attr) | llzk::verif::IncludeOp | inline |
| setCalleeAttr(::mlir::SymbolRefAttr attr) | llzk::verif::IncludeOp | inline |
| setCalleeFromCallable(::mlir::CallInterfaceCallable callee) | llzk::verif::IncludeOp | |
| setInherentAttr(Properties &prop, llvm::StringRef name, mlir::Attribute value) | llzk::verif::IncludeOp | static |
| setMapOpGroupSizes(::llvm::ArrayRef< int32_t > attrValue) | llzk::verif::IncludeOp | |
| setMapOpGroupSizesAttr(::mlir::DenseI32ArrayAttr attr) | llzk::verif::IncludeOp | inline |
| setNumDimsPerMap(::llvm::ArrayRef< int32_t > attrValue) | llzk::verif::IncludeOp | |
| setNumDimsPerMapAttr(::mlir::DenseI32ArrayAttr attr) | llzk::verif::IncludeOp | inline |
| setPropertiesFromAttr(Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError) | llzk::verif::IncludeOp | static |
| setPropertiesFromParsedAttr(Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError) | llzk::verif::IncludeOp | static |
| setResAttrsAttr(::mlir::ArrayAttr attr) | llzk::verif::IncludeOp | inline |
| setTemplateParamsAttr(::mlir::ArrayAttr attr) | llzk::verif::IncludeOp | inline |
| verifyInherentAttrs(::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError) | llzk::verif::IncludeOp | static |
| verifyInvariants() | llzk::verif::IncludeOp | |
| verifyInvariantsImpl() | llzk::verif::IncludeOp | |
| verifySymbolUses(::mlir::SymbolTableCollection &symbolTable) | llzk::verif::IncludeOp | |
| writeProperties(::mlir::DialectBytecodeWriter &writer) | llzk::verif::IncludeOp |
1.17.0