LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Public Types | List of all members
llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > Class Template Reference
Inheritance diagram for llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >:
[legend]
Collaboration diagram for llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >:
[legend]

Public Types

using ConcreteEntity = ConcreteOp
Public Types inherited from llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
using Interface

Additional Inherited Members

Public Member Functions inherited from llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
 FallbackModel ()
Static Public Member Functions inherited from llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
static inline ::mlir::Value getLhs (const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
static inline ::mlir::Value getRhs (const Concept *impl, ::mlir::Operation *tablegen_opaque_val)
Public Attributes inherited from llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Concept
::mlir::Value(* getLhs )(const Concept *impl, ::mlir::Operation *)
 The methods defined by the interface.
::mlir::Value(* getRhs )(const Concept *impl, ::mlir::Operation *)

Detailed Description

template<typename ConcreteModel, typename ConcreteOp>
class llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >

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

Member Typedef Documentation

◆ ConcreteEntity

template<typename ConcreteModel, typename ConcreteOp>
using llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >::ConcreteEntity = ConcreteOp

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

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