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

[legend]

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

Public Attributes
const ::mlir::MemoryEffectOpInterface::Concept *	implMemoryEffectOpInterface = nullptr
	The methods defined by the interface.
const ::llzk::verif::ConditionOpInterface::Concept *	implConditionOpInterface = nullptr

Detailed Description

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

Member Function Documentation

◆ initializeInterfaceConcept()

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

inline

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

Member Data Documentation

◆ implConditionOpInterface

const ::llzk::verif::ConditionOpInterface::Concept* llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::Concept::implConditionOpInterface = nullptr

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

◆ implMemoryEffectOpInterface

const ::mlir::MemoryEffectOpInterface::Concept* llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::Concept::implMemoryEffectOpInterface = nullptr

The methods defined by the interface.

The base classes of this interface.

Definition at line 85 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