Inheritance diagram for llzk::verif::PostconditionOpInterface:

Collaboration diagram for llzk::verif::PostconditionOpInterface:

Classes
struct	Trait

Public Member Functions
	operator::mlir::MemoryEffectOpInterface () const
void	getEffects (::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > &effects)
	Collects all of the operation's effects into effects.
	operator::llzk::verif::ConditionOpInterface () const
::mlir::TypedValue<::mlir::IntegerType >	getCondition ()
	Gets the SSA Value for the condition operand.

Detailed Description

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

Member Function Documentation

◆ getCondition()

mlir::TypedValue<::mlir::IntegerType > llzk::verif::PostconditionOpInterface::getCondition ( )

Gets the SSA Value for the condition operand.

Definition at line 22 of file OpInterfaces.cpp.inc.

◆ getEffects()

void llzk::verif::PostconditionOpInterface::getEffects ( ::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect > > & effects )

Collects all of the operation's effects into effects.

Definition at line 18 of file OpInterfaces.cpp.inc.

◆ operator::llzk::verif::ConditionOpInterface()

llzk::verif::PostconditionOpInterface::operator::llzk::verif::ConditionOpInterface ( ) const

inline

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

◆ operator::mlir::MemoryEffectOpInterface()

llzk::verif::PostconditionOpInterface::operator::mlir::MemoryEffectOpInterface ( ) const

inline

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

The documentation for this class was generated from the following files:

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