LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::smt::ForallOp Member List

This is the complete list of members for llzk::smt::ForallOp, including all inherited members.

Adaptor typedefllzk::smt::ForallOp
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, mlir::TypeRange boundVarTypes, llvm::function_ref< mlir::Value(mlir::OpBuilder &, mlir::Location, mlir::ValueRange)> bodyBuilder, std::optional< llvm::ArrayRef< mlir::StringRef > > boundVarNames=std::nullopt, llvm::function_ref< mlir::ValueRange(mlir::OpBuilder &, mlir::Location, mlir::ValueRange)> patternBuilder={}, uint32_t weight=0, bool noPattern=false)llzk::smt::ForallOpstatic
computePropertiesHash(const Properties &prop)llzk::smt::ForallOpstatic
FoldAdaptor typedefllzk::smt::ForallOp
GenericAdaptor typedefllzk::smt::ForallOp
getAttributeNames()llzk::smt::ForallOpinline
getBody()llzk::smt::ForallOpinline
getBoundVarNames()llzk::smt::ForallOp
getBoundVarNamesAttr()llzk::smt::ForallOpinline
getBoundVarNamesAttrName()llzk::smt::ForallOpinline
getBoundVarNamesAttrName(::mlir::OperationName name)llzk::smt::ForallOpinlinestatic
getInherentAttr(::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name)llzk::smt::ForallOpstatic
getNoPattern()llzk::smt::ForallOp
getNoPatternAttr()llzk::smt::ForallOpinline
getNoPatternAttrName()llzk::smt::ForallOpinline
getNoPatternAttrName(::mlir::OperationName name)llzk::smt::ForallOpinlinestatic
getODSOperandIndexAndLength(unsigned index)llzk::smt::ForallOpinline
getODSOperands(unsigned index)llzk::smt::ForallOpinline
getODSResultIndexAndLength(unsigned index)llzk::smt::ForallOpinline
getODSResults(unsigned index)llzk::smt::ForallOpinline
getOperationName()llzk::smt::ForallOpinlinestatic
getPatterns()llzk::smt::ForallOpinline
getPropertiesAsAttr(::mlir::MLIRContext *ctx, const Properties &prop)llzk::smt::ForallOpstatic
getResult()llzk::smt::ForallOpinline
getWeight()llzk::smt::ForallOp
getWeightAttr()llzk::smt::ForallOpinline
getWeightAttrName()llzk::smt::ForallOpinline
getWeightAttrName(::mlir::OperationName name)llzk::smt::ForallOpinlinestatic
inferReturnTypes(::mlir::MLIRContext *context, ::std::optional<::mlir::Location > location, ::mlir::ValueRange operands, ::mlir::DictionaryAttr attributes, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions, ::llvm::SmallVectorImpl<::mlir::Type > &inferredReturnTypes)llzk::smt::ForallOpstatic
parse(::mlir::OpAsmParser &parser, ::mlir::OperationState &result)llzk::smt::ForallOpstatic
populateDefaultProperties(::mlir::OperationName opName, Properties &properties)llzk::smt::ForallOpstatic
populateInherentAttrs(::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs)llzk::smt::ForallOpstatic
print(::mlir::OpAsmPrinter &_odsPrinter)llzk::smt::ForallOp
Properties typedefllzk::smt::ForallOp
readProperties(::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state)llzk::smt::ForallOpstatic
removeBoundVarNamesAttr()llzk::smt::ForallOpinline
removeNoPatternAttr()llzk::smt::ForallOpinline
setBoundVarNamesAttr(::mlir::ArrayAttr attr)llzk::smt::ForallOpinline
setInherentAttr(Properties &prop, llvm::StringRef name, mlir::Attribute value)llzk::smt::ForallOpstatic
setNoPattern(bool attrValue)llzk::smt::ForallOp
setNoPatternAttr(::mlir::UnitAttr attr)llzk::smt::ForallOpinline
setPropertiesFromAttr(Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)llzk::smt::ForallOpstatic
setWeight(uint32_t attrValue)llzk::smt::ForallOp
setWeightAttr(::mlir::IntegerAttr attr)llzk::smt::ForallOpinline
verify()llzk::smt::ForallOp
verifyInherentAttrs(::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)llzk::smt::ForallOpstatic
verifyInvariants()llzk::smt::ForallOp
verifyInvariantsImpl()llzk::smt::ForallOp
verifyRegions()llzk::smt::ForallOp
writeProperties(::mlir::DialectBytecodeWriter &writer)llzk::smt::ForallOp