OpInterfaces.cpp.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Interface Definitions                                                      *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/

::mlir::TypedValue<::mlir::IntegerType> llzk::verif::ConditionOpInterface::getCondition() {
      return getImpl()->getCondition(getImpl(), getOperation());
  }

void llzk::verif::ConditionOpInterface::getEffects(::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect>> & effects) {
      return getImpl()->implMemoryEffectOpInterface->getEffects(getImpl()->implMemoryEffectOpInterface, getOperation(), effects);
  }

void llzk::verif::PostconditionOpInterface::getEffects(::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect>> & effects) {
      return getImpl()->implMemoryEffectOpInterface->getEffects(getImpl()->implMemoryEffectOpInterface, getOperation(), effects);
  }

::mlir::TypedValue<::mlir::IntegerType> llzk::verif::PostconditionOpInterface::getCondition() {
      return getImpl()->implConditionOpInterface->getCondition(getImpl()->implConditionOpInterface, getOperation());
  }

void llzk::verif::PreconditionOpInterface::getEffects(::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect>> & effects) {
      return getImpl()->implMemoryEffectOpInterface->getEffects(getImpl()->implMemoryEffectOpInterface, getOperation(), effects);
  }

::mlir::TypedValue<::mlir::IntegerType> llzk::verif::PreconditionOpInterface::getCondition() {
      return getImpl()->implConditionOpInterface->getCondition(getImpl()->implConditionOpInterface, getOperation());
  }