Inheritance diagram for llzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits::Concept:

[legend]

Public Member Functions
void	initializeInterfaceConcept (::mlir::detail::InterfaceMap &interfaceMap)

Public Attributes
::llvm::SmallVector<::llzk::verif::InvariantTargetOpInterface >(*	getLoops )(const Concept impl, ::mlir::Operation )
	The methods defined by the interface.
const ::mlir::SymbolOpInterface::Concept *	implSymbolOpInterface = nullptr
	The base classes of this interface.

Detailed Description

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

Member Function Documentation

◆ initializeInterfaceConcept()

void llzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits::Concept::initializeInterfaceConcept ( ::mlir::detail::InterfaceMap & interfaceMap )

inline

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

Member Data Documentation

◆ getLoops

::llvm::SmallVector<::llzk::verif::InvariantTargetOpInterface >(* llzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits::Concept::getLoops) (const Concept *impl, ::mlir::Operation *)

The methods defined by the interface.

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

◆ implSymbolOpInterface

const ::mlir::SymbolOpInterface::Concept* llzk::verif::detail::ContractTargetOpInterfaceInterfaceTraits::Concept::implSymbolOpInterface = nullptr

The base classes of this interface.

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

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

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