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

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

BaseBuilder(mlir::MLIRContext *ctx)llzk::BaseBuilderinline
buildComputeFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleLikeBuilder< TemplateBuilder >static
buildConstrainFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleLikeBuilder< TemplateBuilder >static
buildProductFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleLikeBuilder< TemplateBuilder >static
computeFnMapllzk::ModuleLikeBuilder< TemplateBuilder >protected
constrainFnMapllzk::ModuleLikeBuilder< TemplateBuilder >protected
contextllzk::BaseBuilderprotected
ensureComputeFnExists(std::string_view structName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
ensureConstrainFnExists(std::string_view structName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
ensureFreeFnExists(std::string_view funcName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
ensureNoSuchComputeFn(std::string_view structName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
ensureNoSuchConstrainFn(std::string_view structName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
ensureNoSuchFreeFunc(std::string_view funcName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
ensureNoSuchProductFn(std::string_view structName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
ensureNoSuchStruct(std::string_view structName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
ensureProductFnExists(std::string_view structName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
ensureStructExists(std::string_view structName)llzk::ModuleLikeBuilder< TemplateBuilder >protected
freeFuncMapllzk::ModuleLikeBuilder< TemplateBuilder >protected
getBodyRegion()llzk::TemplateBuilderinline
getComputeFn(std::string_view structName) constllzk::ModuleLikeBuilder< TemplateBuilder >inline
getConstrainFn(std::string_view structName) constllzk::ModuleLikeBuilder< TemplateBuilder >inline
getFreeFunc(std::string_view funcName) constllzk::ModuleLikeBuilder< TemplateBuilder >inline
getProductFn(std::string_view structName) constllzk::ModuleLikeBuilder< TemplateBuilder >inline
getStruct(std::string_view structName) constllzk::ModuleLikeBuilder< TemplateBuilder >inline
getTemplate()llzk::TemplateBuilderinline
getUnknownLoc()llzk::BaseBuilderinline
insertComputeCall(component::StructDefOp caller, component::StructDefOp callee, mlir::Location callLoc)llzk::ModuleLikeBuilder< TemplateBuilder >
insertComputeFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleLikeBuilder< TemplateBuilder >
insertComputeOnlyStruct(std::string_view structName, mlir::Location structLoc, mlir::Location computeLoc)llzk::ModuleLikeBuilder< TemplateBuilder >inline
insertConstrainCall(component::StructDefOp caller, component::StructDefOp callee, mlir::Location callLoc, mlir::Location memberDefLoc)llzk::ModuleLikeBuilder< TemplateBuilder >
insertConstrainFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleLikeBuilder< TemplateBuilder >
insertConstrainOnlyStruct(std::string_view structName, mlir::Location structLoc, mlir::Location constrainLoc)llzk::ModuleLikeBuilder< TemplateBuilder >inline
insertEmptyStruct(std::string_view structName, mlir::Location loc)llzk::ModuleLikeBuilder< TemplateBuilder >
insertFreeCall(function::FuncDefOp caller, std::string_view callee, mlir::Location callLoc)llzk::ModuleLikeBuilder< TemplateBuilder >
insertFreeFunc(std::string_view funcName, ::mlir::FunctionType type, mlir::Location loc)llzk::ModuleLikeBuilder< TemplateBuilder >
insertFullStruct(std::string_view structName, mlir::Location structLoc, mlir::Location computeLoc, mlir::Location constrainLoc)llzk::ModuleLikeBuilder< TemplateBuilder >inline
insertProductFn(component::StructDefOp op, mlir::Location loc)llzk::ModuleLikeBuilder< TemplateBuilder >
insertProductStruct(std::string_view structName, mlir::Location structLoc, mlir::Location productLoc)llzk::ModuleLikeBuilder< TemplateBuilder >inline
ModuleLikeBuilder(mlir::MLIRContext *ctx)llzk::ModuleLikeBuilder< TemplateBuilder >inline
productFnMapllzk::ModuleLikeBuilder< TemplateBuilder >protected
structMapllzk::ModuleLikeBuilder< TemplateBuilder >protected
TemplateBuilder(polymorphic::TemplateOp t)llzk::TemplateBuilderinline