MLIR  19.0.0git
Static Public Member Functions | List of all members
mlir::OpTrait::IsInvolution< ConcreteType > Class Template Reference

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 >
OperationgetOperation ()
 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 >
static OpFoldResult mlir::OpTrait::IsInvolution< ConcreteType >::foldTrait ( Operation op,
ArrayRef< Attribute operands 

Definition at line 1165 of file OpDefinition.h.

◆ verifyTrait()

template<typename ConcreteType >
static LogicalResult mlir::OpTrait::IsInvolution< ConcreteType >::verifyTrait ( Operation op)

Definition at line 1153 of file OpDefinition.h.

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