LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
using | Interface = ::llzk::array::ArrayRefOpInterface |
Public Member Functions | |
Model () | |
Static Public Member Functions | |
static inline ::mlir::TypedValue<::llzk::array::ArrayType > | getArrRef (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
static inline ::mlir::OpOperand & | getArrRefMutable (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
Additional Inherited Members | |
![]() | |
::mlir::TypedValue<::llzk::array::ArrayType >(* | getArrRef )(const Concept *impl, ::mlir::Operation *) |
The methods defined by the interface. | |
::mlir::OpOperand &(* | getArrRefMutable )(const Concept *impl, ::mlir::Operation *) |
Definition at line 20 of file OpInterfaces.h.inc.
using llzk::array::detail::ArrayRefOpInterfaceInterfaceTraits::Model< ConcreteOp >::Interface = ::llzk::array::ArrayRefOpInterface |
Definition at line 22 of file OpInterfaces.h.inc.
|
inline |
Definition at line 23 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.