|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | Interface = ::llzk::pod::PodRefOpInterface |
Public Member Functions | |
| FallbackModel () | |
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 29 of file OpInterfaces.h.inc.
| using llzk::pod::detail::PodRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::Interface = ::llzk::pod::PodRefOpInterface |
Definition at line 31 of file OpInterfaces.h.inc.
|
inline |
Definition at line 32 of file OpInterfaces.h.inc.
|
static |
Definition at line 172 of file OpInterfaces.h.inc.
|
static |
Definition at line 176 of file OpInterfaces.h.inc.