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

Public Types

using Interface = ::llzk::felt::FeltBinaryOpInterface

Public Member Functions

 Model ()

Static Public Member Functions

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)

Additional Inherited Members

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 ConcreteOp>
class llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Model< ConcreteOp >

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

Member Typedef Documentation

◆ Interface

template<typename ConcreteOp>
using llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Model< ConcreteOp >::Interface = ::llzk::felt::FeltBinaryOpInterface

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

Constructor & Destructor Documentation

◆ Model()

template<typename ConcreteOp>
llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Model< ConcreteOp >::Model ( )
inline

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

Member Function Documentation

◆ getLhs()

template<typename ConcreteOp>
mlir::Value llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Model< ConcreteOp >::getLhs ( const Concept * impl,
::mlir::Operation * tablegen_opaque_val )
static

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

◆ getRhs()

template<typename ConcreteOp>
mlir::Value llzk::felt::detail::FeltBinaryOpInterfaceInterfaceTraits::Model< ConcreteOp >::getRhs ( const Concept * impl,
::mlir::Operation * tablegen_opaque_val )
static

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

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