LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Public Types | List of all members
llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > Class Template Reference
Inheritance diagram for llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >:
[legend]
Collaboration diagram for llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >:
[legend]

Public Types

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

Additional Inherited Members

Public Member Functions inherited from llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
 FallbackModel ()
Public Member Functions inherited from llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::Concept
void initializeInterfaceConcept (::mlir::detail::InterfaceMap &interfaceMap)
Public Attributes inherited from llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::Concept
const ::mlir::MemoryEffectOpInterface::Concept * implMemoryEffectOpInterface = nullptr
 The methods defined by the interface.
const ::llzk::verif::ConditionOpInterface::Concept * implConditionOpInterface = nullptr

Detailed Description

template<typename ConcreteModel, typename ConcreteOp>
class llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >

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

Member Typedef Documentation

◆ ConcreteEntity

template<typename ConcreteModel, typename ConcreteOp>
using llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >::ConcreteEntity = ConcreteOp

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

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