llzk::verif::detail::ContractOpGenericAdaptorBase::Properties Struct Reference

Public Types
using	arg_attrsTy = ::mlir::ArrayAttr
using	function_typeTy = ::mlir::TypeAttr
using	sym_nameTy = ::mlir::StringAttr
using	targetTy = ::mlir::SymbolRefAttr

Public Member Functions
auto	getArgAttrs ()
void	setArgAttrs (const ::mlir::ArrayAttr &propValue)
auto	getFunctionType ()
void	setFunctionType (const ::mlir::TypeAttr &propValue)
auto	getSymName ()
void	setSymName (const ::mlir::StringAttr &propValue)
auto	getTarget ()
void	setTarget (const ::mlir::SymbolRefAttr &propValue)
bool	operator== (const Properties &rhs) const
bool	operator!= (const Properties &rhs) const

Public Attributes
arg_attrsTy	arg_attrs
function_typeTy	function_type
sym_nameTy	sym_name
targetTy	target

Detailed Description

Definition at line 177 of file Ops.h.inc.

Member Typedef Documentation

arg_attrsTy

using llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::arg_attrsTy = ::mlir::ArrayAttr

Definition at line 178 of file Ops.h.inc.

function_typeTy

using llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::function_typeTy = ::mlir::TypeAttr

Definition at line 188 of file Ops.h.inc.

sym_nameTy

using llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::sym_nameTy = ::mlir::StringAttr

Definition at line 198 of file Ops.h.inc.

targetTy

using llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::targetTy = ::mlir::SymbolRefAttr

Definition at line 208 of file Ops.h.inc.

Member Function Documentation

getArgAttrs()

auto llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::getArgAttrs ( )

inline

Definition at line 181 of file Ops.h.inc.

getFunctionType()

auto llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::getFunctionType ( )

inline

Definition at line 191 of file Ops.h.inc.

getSymName()

auto llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::getSymName ( )

inline

Definition at line 201 of file Ops.h.inc.

getTarget()

auto llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::getTarget ( )

inline

Definition at line 211 of file Ops.h.inc.

operator!=()

bool llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::operator!= ( const Properties & rhs ) const

inline

Definition at line 226 of file Ops.h.inc.

operator==()

bool llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::operator== ( const Properties & rhs ) const

inline

Definition at line 218 of file Ops.h.inc.

setArgAttrs()

void llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::setArgAttrs ( const ::mlir::ArrayAttr & propValue )

inline

Definition at line 185 of file Ops.h.inc.

setFunctionType()

void llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::setFunctionType ( const ::mlir::TypeAttr & propValue )

inline

Definition at line 195 of file Ops.h.inc.

setSymName()

void llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::setSymName ( const ::mlir::StringAttr & propValue )

inline

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

setTarget()

void llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::setTarget ( const ::mlir::SymbolRefAttr & propValue )

inline

Definition at line 215 of file Ops.h.inc.

Member Data Documentation

arg_attrs

arg_attrsTy llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::arg_attrs

Definition at line 179 of file Ops.h.inc.

function_type

function_typeTy llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::function_type

Definition at line 189 of file Ops.h.inc.

sym_name

sym_nameTy llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::sym_name

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

target

targetTy llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::target

Definition at line 209 of file Ops.h.inc.

---

The documentation for this struct was generated from the following file:

• build/include/llzk/Dialect/Verif/IR/Ops.h.inc