This class adds property that the operation is an involution. More...
#include "mlir/IR/OpDefinition.h"
Inheritance diagram for mlir::OpTrait::IsInvolution< ConcreteType >:
Static Public Member Functions | |
| static LogicalResult | verifyTrait (Operation *op) |
| static OpFoldResult | foldTrait (Operation *op, ArrayRef< Attribute > operands) |
Additional Inherited Members | |
| Protected Member Functions inherited from mlir::OpTrait::TraitBase< ConcreteType, IsInvolution > | |
| Operation * | getOperation () |
| Return the ultimate Operation being worked on. More... | |
Detailed Description
template<typename ConcreteType>
class mlir::OpTrait::IsInvolution< ConcreteType >
This class adds property that the operation is an involution.
This means a unary to unary operation "f" that satisfies f(f(x)) = x
Definition at line 1151 of file OpDefinition.h.
Member Function Documentation
◆ foldTrait()
template<typename ConcreteType >
|
inlinestatic |
Definition at line 1165 of file OpDefinition.h.
References mlir::OpTrait::impl::foldInvolution().
◆ verifyTrait()
template<typename ConcreteType >
|
inlinestatic |
Definition at line 1153 of file OpDefinition.h.
References mlir::OpTrait::impl::verifyIsInvolution().
The documentation for this class was generated from the following file:
- include/mlir/IR/OpDefinition.h
