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

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

#include <OpTraits.h>

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

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

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

Detailed Description

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

Marker for ops that are specific to constraint generation.

Verifies that the surrounding function is marked with the AllowConstraintAttr.

Definition at line 25 of file OpTraits.h.

Member Function Documentation

verifyTrait()

template<typename TypeClass>

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

inlinestatic

Definition at line 27 of file OpTraits.h.

---

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

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