LLZK 0.1.0
Veridise's ZK Language IR
|
This is the complete list of members for llzk::ModuleBuilder, including all inherited members.
computeReachable(llzk::component::StructDefOp caller, llzk::component::StructDefOp callee) | llzk::ModuleBuilder | inline |
computeReachable(std::string_view caller, std::string_view callee) | llzk::ModuleBuilder | inline |
constrainReachable(llzk::component::StructDefOp caller, llzk::component::StructDefOp callee) | llzk::ModuleBuilder | inline |
constrainReachable(std::string_view caller, std::string_view callee) | llzk::ModuleBuilder | inline |
getComputeFn(std::string_view structName) const | llzk::ModuleBuilder | inline |
getComputeFn(llzk::component::StructDefOp op) const | llzk::ModuleBuilder | inline |
getConstrainFn(std::string_view structName) | llzk::ModuleBuilder | inline |
getConstrainFn(llzk::component::StructDefOp op) | llzk::ModuleBuilder | inline |
getGlobalFunc(std::string_view funcName) const | llzk::ModuleBuilder | inline |
getRootModule() | llzk::ModuleBuilder | inline |
getStruct(std::string_view structName) const | llzk::ModuleBuilder | inline |
getUnknownLoc() | llzk::ModuleBuilder | inline |
insertComputeCall(llzk::component::StructDefOp caller, llzk::component::StructDefOp callee, mlir::Location callLoc) | llzk::ModuleBuilder | |
insertComputeCall(std::string_view caller, std::string_view callee, mlir::Location callLoc) | llzk::ModuleBuilder | inline |
insertComputeCall(std::string_view caller, std::string_view callee) | llzk::ModuleBuilder | inline |
insertComputeFn(llzk::component::StructDefOp op, mlir::Location loc) | llzk::ModuleBuilder | |
insertComputeFn(std::string_view structName, mlir::Location loc) | llzk::ModuleBuilder | inline |
insertComputeFn(std::string_view structName) | llzk::ModuleBuilder | inline |
insertComputeOnlyStruct(std::string_view structName, mlir::Location structLoc, mlir::Location computeLoc) | llzk::ModuleBuilder | inline |
insertComputeOnlyStruct(std::string_view structName) | llzk::ModuleBuilder | inline |
insertConstrainCall(llzk::component::StructDefOp caller, llzk::component::StructDefOp callee, mlir::Location callLoc, mlir::Location fieldDefLoc) | llzk::ModuleBuilder | |
insertConstrainCall(std::string_view caller, std::string_view callee, mlir::Location callLoc, mlir::Location fieldDefLoc) | llzk::ModuleBuilder | inline |
insertConstrainCall(std::string_view caller, std::string_view callee) | llzk::ModuleBuilder | inline |
insertConstrainFn(llzk::component::StructDefOp op, mlir::Location loc) | llzk::ModuleBuilder | |
insertConstrainFn(std::string_view structName, mlir::Location loc) | llzk::ModuleBuilder | inline |
insertConstrainFn(std::string_view structName) | llzk::ModuleBuilder | inline |
insertConstrainOnlyStruct(std::string_view structName, mlir::Location structLoc, mlir::Location constrainLoc) | llzk::ModuleBuilder | inline |
insertConstrainOnlyStruct(std::string_view structName) | llzk::ModuleBuilder | inline |
insertEmptyStruct(std::string_view structName, mlir::Location loc, int numStructParams=-1) | llzk::ModuleBuilder | |
insertEmptyStruct(std::string_view structName, int numStructParams=-1) | llzk::ModuleBuilder | inline |
insertFullStruct(std::string_view structName, mlir::Location structLoc, mlir::Location computeLoc, mlir::Location constrainLoc, int numStructParams=-1) | llzk::ModuleBuilder | inline |
insertFullStruct(std::string_view structName, int numStructParams=-1) | llzk::ModuleBuilder | inline |
insertGlobalCall(function::FuncDefOp caller, std::string_view callee, mlir::Location callLoc) | llzk::ModuleBuilder | |
insertGlobalCall(function::FuncDefOp caller, std::string_view callee) | llzk::ModuleBuilder | inline |
insertGlobalFunc(std::string_view funcName, ::mlir::FunctionType type, mlir::Location loc) | llzk::ModuleBuilder | |
insertGlobalFunc(std::string_view funcName, ::mlir::FunctionType type) | llzk::ModuleBuilder | inline |
ModuleBuilder(mlir::ModuleOp m) | llzk::ModuleBuilder | inline |