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

Public Types

using Interface = ::llzk::constrain::ConstraintOpInterface
 

Public Member Functions

 Model ()
 

Detailed Description

template<typename ConcreteOp>
class llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Model< ConcreteOp >

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

Member Typedef Documentation

◆ Interface

template<typename ConcreteOp>
using llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Model< ConcreteOp >::Interface = ::llzk::constrain::ConstraintOpInterface

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

Constructor & Destructor Documentation

◆ Model()

template<typename ConcreteOp>
llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::Model< ConcreteOp >::Model ( )
inline

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

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