Inheritance diagram for llzk::verif::PreconditionOpInterface:

Collaboration diagram for llzk::verif::PreconditionOpInterface:

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

Member Function Documentation

◆ getCondition()

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

Gets the SSA Value for the condition operand.

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

◆ getEffects()

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

Collects all of the operation's effects into effects.

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

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

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

inline

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

◆ operator::mlir::MemoryEffectOpInterface()

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

inline

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