llzk::verif::InvariantTargetOpInterface Class Reference

Inheritance diagram for llzk::verif::InvariantTargetOpInterface:

Collaboration diagram for llzk::verif::InvariantTargetOpInterface:

Classes
struct	Trait

Public Member Functions
::mlir::FailureOr<::mlir::StringRef >	getLabel ()
	Gets the label of the loop, if available.
::mlir::SmallVector<::mlir::Type >	getArgumentTypes ()
	Gets the types of the values that the invariant binds inside its body.

Detailed Description

Definition at line 269 of file OpInterfaces.h.inc.

Member Function Documentation

getArgumentTypes()

mlir::SmallVector<::mlir::Type > llzk::verif::InvariantTargetOpInterface::getArgumentTypes

(

)

Gets the types of the values that the invariant binds inside its body.

Definition at line 99 of file OpInterfaces.cpp.inc.

getLabel()

mlir::FailureOr<::mlir::StringRef > llzk::verif::InvariantTargetOpInterface::getLabel

(

)

Gets the label of the loop, if available.

Definition at line 95 of file OpInterfaces.cpp.inc.

---

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

• build/include/llzk/Dialect/Verif/IR/OpInterfaces.h.inc
• build/include/llzk/Dialect/Verif/IR/OpInterfaces.cpp.inc