|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Member Functions | |
| void | initializeInterfaceConcept (::mlir::detail::InterfaceMap &interfaceMap) |
Public Attributes | |
| ::mlir::FlatSymbolRefAttr(* | getRecordNameAttr )(const Concept *impl, ::mlir::Operation *) |
| The methods defined by the interface. | |
| bool(* | isRead )(const Concept *impl, ::mlir::Operation *) |
| const ::llzk::pod::PodRefOpInterface::Concept * | implPodRefOpInterface = nullptr |
| The base classes of this interface. | |
Definition at line 72 of file OpInterfaces.h.inc.
|
inline |
Definition at line 79 of file OpInterfaces.h.inc.
| ::mlir::FlatSymbolRefAttr(* llzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::Concept::getRecordNameAttr) (const Concept *impl, ::mlir::Operation *) |
The methods defined by the interface.
Definition at line 73 of file OpInterfaces.h.inc.
| const ::llzk::pod::PodRefOpInterface::Concept* llzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::Concept::implPodRefOpInterface = nullptr |
The base classes of this interface.
Definition at line 77 of file OpInterfaces.h.inc.
| bool(* llzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::Concept::isRead) (const Concept *impl, ::mlir::Operation *) |
Definition at line 75 of file OpInterfaces.h.inc.