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 363 of file Ops.h.inc.

Member Typedef Documentation

arg_attrsTy

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

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

function_typeTy

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

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

sym_nameTy

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

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

targetTy

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

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

Member Function Documentation

getArgAttrs()

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

inline

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

getFunctionType()

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

inline

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

getSymName()

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

inline

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

getTarget()

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

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setArgAttrs()

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

inline

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

setFunctionType()

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

inline

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

setSymName()

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

inline

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

setTarget()

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

inline

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

Member Data Documentation

arg_attrs

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

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

function_type

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

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

sym_name

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

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

target

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

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