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

[legend]

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

Public Attributes
::mlir::TypedValue<::mlir::IntegerType >(*	getCondition )(const Concept impl, ::mlir::Operation )
	The methods defined by the interface.
const ::mlir::MemoryEffectOpInterface::Concept *	implMemoryEffectOpInterface = nullptr
	The base classes of this interface.

Detailed Description

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

Member Function Documentation

◆ initializeInterfaceConcept()

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

inline

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

Member Data Documentation

◆ getCondition

::mlir::TypedValue<::mlir::IntegerType >(* llzk::verif::detail::ConditionOpInterfaceInterfaceTraits::Concept::getCondition) (const Concept *impl, ::mlir::Operation *)

The methods defined by the interface.

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

◆ implMemoryEffectOpInterface

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

The base classes of this interface.

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