Inheritance diagram for llzk::verif::detail::PostconditionOpInterfaceInterfaceTraits::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 159 of file OpInterfaces.h.inc.

Member Function Documentation

◆ initializeInterfaceConcept()

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

inline

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

Member Data Documentation

◆ implConditionOpInterface

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

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

◆ implMemoryEffectOpInterface

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

The methods defined by the interface.

The base classes of this interface.

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