llzk::smt::detail::PushOpGenericAdaptorBase::Properties Struct Reference

Public Types
using	countTy = ::mlir::IntegerAttr

Public Member Functions
auto	getCount ()
void	setCount (const ::mlir::IntegerAttr &propValue)
bool	operator== (const Properties &rhs) const
bool	operator!= (const Properties &rhs) const

Public Attributes
countTy	count

Detailed Description

Definition at line 8161 of file SMT.h.inc.

Member Typedef Documentation

countTy

using llzk::smt::detail::PushOpGenericAdaptorBase::Properties::countTy = ::mlir::IntegerAttr

Definition at line 8162 of file SMT.h.inc.

Member Function Documentation

getCount()

auto llzk::smt::detail::PushOpGenericAdaptorBase::Properties::getCount ( )

inline

Definition at line 8165 of file SMT.h.inc.

operator!=()

bool llzk::smt::detail::PushOpGenericAdaptorBase::Properties::operator!= ( const Properties & rhs ) const

inline

Definition at line 8177 of file SMT.h.inc.

operator==()

bool llzk::smt::detail::PushOpGenericAdaptorBase::Properties::operator== ( const Properties & rhs ) const

inline

Definition at line 8172 of file SMT.h.inc.

setCount()

void llzk::smt::detail::PushOpGenericAdaptorBase::Properties::setCount ( const ::mlir::IntegerAttr & propValue )

inline

Definition at line 8169 of file SMT.h.inc.

Member Data Documentation

count

countTy llzk::smt::detail::PushOpGenericAdaptorBase::Properties::count

Definition at line 8163 of file SMT.h.inc.

---

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

• build/include/llzk/Dialect/SMT/IR/SMT.h.inc