|
LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
| using | Interface = ::llzk::array::ArrayAccessOpInterface |
Public Member Functions | |
| FallbackModel () | |
| Public Member Functions inherited from llzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::Concept | |
| 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 | |
| Public Attributes inherited from llzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::Concept | |
| ::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 96 of file OpInterfaces.h.inc.
| using llzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::Interface = ::llzk::array::ArrayAccessOpInterface |
Definition at line 98 of file OpInterfaces.h.inc.
|
inline |
Definition at line 99 of file OpInterfaces.h.inc.
|
static |
Definition at line 207 of file OpInterfaces.h.inc.
|
static |
Definition at line 211 of file OpInterfaces.h.inc.
|
inlinestatic |
Definition at line 215 of file OpInterfaces.h.inc.