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 34 of file OpTraits.h.

Member Function Documentation

template<typename TypeClass>

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

inlinestatic

Definition at line 36 of file OpTraits.h.

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