LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
using | Interface = ::llzk::array::ArrayAccessOpInterface |
Public Member Functions | |
FallbackModel () | |
![]() | |
void | initializeInterfaceConcept (::mlir::detail::InterfaceMap &interfaceMap) |
Static Public Member Functions | |
static inline ::mlir::Operation::operand_range | getIndices (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
static inline ::mlir::MutableOperandRange | getIndicesMutable (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
static bool | isRead (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
Additional Inherited Members | |
![]() | |
::mlir::Operation::operand_range(* | getIndices )(const Concept *impl, ::mlir::Operation *) |
The methods defined by the interface. | |
::mlir::MutableOperandRange(* | getIndicesMutable )(const Concept *impl, ::mlir::Operation *) |
bool(* | isRead )(const Concept *impl, ::mlir::Operation *) |
const ::llzk::array::ArrayRefOpInterface::Concept * | implArrayRefOpInterface = nullptr |
The base classes of this interface. | |
Definition at line 95 of file OpInterfaces.h.inc.
using llzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::Interface = ::llzk::array::ArrayAccessOpInterface |
Definition at line 97 of file OpInterfaces.h.inc.
|
inline |
Definition at line 98 of file OpInterfaces.h.inc.
|
static |
Definition at line 204 of file OpInterfaces.h.inc.
|
static |
Definition at line 208 of file OpInterfaces.h.inc.
|
inlinestatic |
Definition at line 212 of file OpInterfaces.h.inc.