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 193 of file OpInterfaces.h.inc.

Member Function Documentation

◆ initializeInterfaceConcept()

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

inline

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

Member Data Documentation

◆ implConditionOpInterface

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

Definition at line 197 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 196 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