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

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

Public Member Functions
auto	getArgAttrs () const
void	setArgAttrs (const ::mlir::ArrayAttr &propValue)
auto	getFunctionType () const
void	setFunctionType (const ::mlir::TypeAttr &propValue)
auto	getResAttrs () const
void	setResAttrs (const ::mlir::ArrayAttr &propValue)
auto	getSymName () const
void	setSymName (const ::mlir::StringAttr &propValue)
auto	getTarget () const
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
res_attrsTy	res_attrs
sym_nameTy	sym_name
targetTy	target

Detailed Description

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

Member Typedef Documentation

arg_attrsTy

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

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

function_typeTy

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

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

res_attrsTy

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

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

sym_nameTy

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

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

targetTy

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

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

Member Function Documentation

getArgAttrs()

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

inline

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

getFunctionType()

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

inline

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

getResAttrs()

auto llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::getResAttrs ( ) const

inline

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

getSymName()

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

inline

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

getTarget()

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

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setArgAttrs()

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

inline

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

setFunctionType()

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

inline

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

setResAttrs()

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

inline

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

setSymName()

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

inline

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

setTarget()

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

inline

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

Member Data Documentation

arg_attrs

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

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

function_type

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

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

res_attrs

res_attrsTy llzk::verif::detail::ContractOpGenericAdaptorBase::Properties::res_attrs

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

sym_name

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

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

target

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

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