|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | Interface = ::llzk::pod::PodRefOpInterface |
Public Member Functions | |
| Model () | |
Static Public Member Functions | |
| static inline ::mlir::TypedValue<::llzk::pod::PodType > | getPodRef (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
| static inline ::mlir::OpOperand & | getPodRefMutable (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
Additional Inherited Members | |
| Public Attributes inherited from llzk::pod::detail::PodRefOpInterfaceInterfaceTraits::Concept | |
| ::mlir::TypedValue<::llzk::pod::PodType >(* | getPodRef )(const Concept *impl, ::mlir::Operation *) |
| The methods defined by the interface. | |
| ::mlir::OpOperand &(* | getPodRefMutable )(const Concept *impl, ::mlir::Operation *) |
Definition at line 20 of file OpInterfaces.h.inc.
| using llzk::pod::detail::PodRefOpInterfaceInterfaceTraits::Model< ConcreteOp >::Interface = ::llzk::pod::PodRefOpInterface |
Definition at line 22 of file OpInterfaces.h.inc.
|
inline |
Definition at line 23 of file OpInterfaces.h.inc.
|
static |
Definition at line 164 of file OpInterfaces.h.inc.
|
static |
Definition at line 168 of file OpInterfaces.h.inc.