llzk::function::WitnessGen< TypeClass > Class Template Reference

Marker for ops that are specific to witness generation. More...

#include <OpTraits.h>

Inheritance diagram for llzk::function::WitnessGen< TypeClass >:

Collaboration diagram for llzk::function::WitnessGen< TypeClass >:

Static Public Member Functions
static mlir::LogicalResult	verifyTrait (mlir::Operation *op)

Detailed Description

template<typename TypeClass>
class llzk::function::WitnessGen< TypeClass >

Marker for ops that are specific to witness generation.

Verifies that the surrounding function is marked with the AllowWitnessAttr.

Definition at line 35 of file OpTraits.h.

Member Function Documentation

verifyTrait()

template<typename TypeClass>

mlir::LogicalResult llzk::function::WitnessGen< TypeClass >::verifyTrait ( mlir::Operation * op )

inlinestatic

Definition at line 37 of file OpTraits.h.

---

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

• include/llzk/Dialect/Function/IR/OpTraits.h