LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp > Class Template Reference
Inheritance diagram for llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >:
[legend]
Collaboration diagram for llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >:
[legend]

Public Types

using ConcreteEntity = ConcreteOp
 
- Public Types inherited from llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
using Interface
 

Additional Inherited Members

- Public Member Functions inherited from llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >
 FallbackModel ()
 

Detailed Description

template<typename ConcreteModel, typename ConcreteOp>
class llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >

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

Member Typedef Documentation

◆ ConcreteEntity

template<typename ConcreteModel, typename ConcreteOp>
using llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >::ConcreteEntity = ConcreteOp

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


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