LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
using | Interface = ::llzk::global::GlobalRefOpInterface |
Public Member Functions | |
FallbackModel () | |
Static Public Member Functions | |
static inline ::mlir::Value | getVal (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
static inline ::mlir::SymbolRefAttr | getNameRef (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
Additional Inherited Members | |
![]() | |
::mlir::Value(* | getVal )(const Concept *impl, ::mlir::Operation *) |
The methods defined by the interface. | |
::mlir::SymbolRefAttr(* | getNameRef )(const Concept *impl, ::mlir::Operation *) |
Definition at line 29 of file OpInterfaces.h.inc.
using llzk::global::detail::GlobalRefOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::Interface = ::llzk::global::GlobalRefOpInterface |
Definition at line 31 of file OpInterfaces.h.inc.
|
inline |
Definition at line 32 of file OpInterfaces.h.inc.
|
static |
Definition at line 81 of file OpInterfaces.h.inc.
|
static |
Definition at line 77 of file OpInterfaces.h.inc.