|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Public Types | |
| using | Interface = ::llzk::polymorphic::TemplateSymbolBindingOpInterface |
Public Member Functions | |
| Model () | |
| Public Member Functions inherited from llzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Concept | |
| void | initializeInterfaceConcept (::mlir::detail::InterfaceMap &interfaceMap) |
Static Public Member Functions | |
| static inline ::std::optional<::mlir::Type > | getTypeOpt (const Concept *impl, ::mlir::Operation *tablegen_opaque_val) |
Additional Inherited Members | |
| Public Attributes inherited from llzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Concept | |
| ::std::optional<::mlir::Type >(* | getTypeOpt )(const Concept *impl, ::mlir::Operation *) |
| The methods defined by the interface. | |
| const ::mlir::SymbolOpInterface::Concept * | implSymbolOpInterface = nullptr |
| The base classes of this interface. | |
Definition at line 26 of file OpInterfaces.h.inc.
| using llzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Model< ConcreteOp >::Interface = ::llzk::polymorphic::TemplateSymbolBindingOpInterface |
Definition at line 28 of file OpInterfaces.h.inc.
|
inline |
Definition at line 29 of file OpInterfaces.h.inc.
|
static |
Definition at line 131 of file OpInterfaces.h.inc.