llzk::verif::detail::InvariantOpGenericAdaptorBase::Properties Struct Reference

Public Types
using	loop_arg_typesTy = ::mlir::ArrayAttr
using	loop_nameTy = ::mlir::StringAttr

Public Member Functions
auto	getLoopArgTypes ()
void	setLoopArgTypes (const ::mlir::ArrayAttr &propValue)
auto	getLoopName ()
void	setLoopName (const ::mlir::StringAttr &propValue)
bool	operator== (const Properties &rhs) const
bool	operator!= (const Properties &rhs) const

Public Attributes
loop_arg_typesTy	loop_arg_types
loop_nameTy	loop_name

Detailed Description

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

Member Typedef Documentation

loop_arg_typesTy

using llzk::verif::detail::InvariantOpGenericAdaptorBase::Properties::loop_arg_typesTy = ::mlir::ArrayAttr

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

loop_nameTy

using llzk::verif::detail::InvariantOpGenericAdaptorBase::Properties::loop_nameTy = ::mlir::StringAttr

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

Member Function Documentation

getLoopArgTypes()

auto llzk::verif::detail::InvariantOpGenericAdaptorBase::Properties::getLoopArgTypes ( )

inline

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

getLoopName()

auto llzk::verif::detail::InvariantOpGenericAdaptorBase::Properties::getLoopName ( )

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setLoopArgTypes()

void llzk::verif::detail::InvariantOpGenericAdaptorBase::Properties::setLoopArgTypes ( const ::mlir::ArrayAttr & propValue )

inline

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

setLoopName()

void llzk::verif::detail::InvariantOpGenericAdaptorBase::Properties::setLoopName ( const ::mlir::StringAttr & propValue )

inline

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

Member Data Documentation

loop_arg_types

loop_arg_typesTy llzk::verif::detail::InvariantOpGenericAdaptorBase::Properties::loop_arg_types

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

loop_name

loop_nameTy llzk::verif::detail::InvariantOpGenericAdaptorBase::Properties::loop_name

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