LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass > Class Template Reference

#include <OpHelpers.h>

Inheritance diagram for llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass >:
[legend]
Collaboration diagram for llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass >:
[legend]

Static Public Member Functions

static mlir::LogicalResult verifyTrait (mlir::Operation *op)
 

Detailed Description

template<int OperandSegmentIndex>
template<typename TypeClass>
class llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass >

Definition at line 43 of file OpHelpers.h.

Member Function Documentation

◆ verifyTrait()

template<int OperandSegmentIndex>
template<typename TypeClass>
static mlir::LogicalResult llzk::VerifySizesForMultiAffineOps< OperandSegmentIndex >::Impl< TypeClass >::verifyTrait ( mlir::Operation * op)
inlinestatic

Definition at line 52 of file OpHelpers.h.


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