LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | List of all members
llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp > Class Template Reference
Inheritance diagram for llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >:
[legend]
Collaboration diagram for llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >:
[legend]

Public Types

using Interface = ::llzk::verif::InvariantTargetOpInterface

Public Member Functions

 FallbackModel ()

Static Public Member Functions

static inline ::mlir::FailureOr<::mlir::StringRef > getLabel (const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
static inline ::mlir::SmallVector<::mlir::Type > getArgumentTypes (const Concept *impl, ::mlir::Operation *tablegen_opaque_val)

Additional Inherited Members

Public Attributes inherited from llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::Concept
::mlir::FailureOr<::mlir::StringRef >(* getLabel )(const Concept *impl, ::mlir::Operation *)
 The methods defined by the interface.
::mlir::SmallVector<::mlir::Type >(* getArgumentTypes )(const Concept *impl, ::mlir::Operation *)

Detailed Description

template<typename ConcreteOp>
class llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >

Definition at line 251 of file OpInterfaces.h.inc.

Member Typedef Documentation

◆ Interface

template<typename ConcreteOp>
using llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::Interface = ::llzk::verif::InvariantTargetOpInterface

Definition at line 253 of file OpInterfaces.h.inc.

Constructor & Destructor Documentation

◆ FallbackModel()

template<typename ConcreteOp>
llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::FallbackModel ( )
inline

Definition at line 254 of file OpInterfaces.h.inc.

Member Function Documentation

◆ getArgumentTypes()

template<typename ConcreteOp>
mlir::SmallVector<::mlir::Type > llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::getArgumentTypes ( const Concept * impl,
::mlir::Operation * tablegen_opaque_val )
static

Definition at line 447 of file OpInterfaces.h.inc.

◆ getLabel()

template<typename ConcreteOp>
mlir::FailureOr<::mlir::StringRef > llzk::verif::detail::InvariantTargetOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::getLabel ( const Concept * impl,
::mlir::Operation * tablegen_opaque_val )
static

Definition at line 443 of file OpInterfaces.h.inc.

The documentation for this class was generated from the following file: