llzk::smt::detail::PopOpGenericAdaptorBase::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 7971 of file SMT.h.inc.

Member Typedef Documentation

countTy

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

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

Member Function Documentation

getCount()

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

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setCount()

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

inline

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

Member Data Documentation

count

countTy llzk::smt::detail::PopOpGenericAdaptorBase::Properties::count

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