|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | Interface = ::llzk::global::GlobalRefOpInterface |
Public Member Functions | |
| Model () | |
Static Public Member Functions | |
| static inline ::mlir::Value | getVal (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
| static inline ::mlir::StringAttr | getNameRefAttrName (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
| static inline ::mlir::SymbolRefAttr | getNameRef (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
Additional Inherited Members | |
| Public Attributes inherited from llzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::Concept | |
| ::mlir::Value(* | getVal )(const Concept *impl, ::mlir::Operation *) |
| The methods defined by the interface. | |
| ::mlir::StringAttr(* | getNameRefAttrName )(const Concept *impl, ::mlir::Operation *) |
| ::mlir::SymbolRefAttr(* | getNameRef )(const Concept *impl, ::mlir::Operation *) |
Definition at line 27 of file OpInterfaces.h.inc.
| using llzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::Model< ConcreteOp >::Interface = ::llzk::global::GlobalRefOpInterface |
Definition at line 29 of file OpInterfaces.h.inc.
|
inline |
Definition at line 30 of file OpInterfaces.h.inc.
|
static |
Definition at line 94 of file OpInterfaces.h.inc.
|
static |
Definition at line 90 of file OpInterfaces.h.inc.
|
static |
Definition at line 86 of file OpInterfaces.h.inc.