llzk::smt::detail::DeclareFunOpGenericAdaptorBase::Properties Struct Reference

Public Types
using	namePrefixTy = ::mlir::StringAttr

Public Member Functions
auto	getNamePrefix ()
void	setNamePrefix (const ::mlir::StringAttr &propValue)
bool	operator== (const Properties &rhs) const
bool	operator!= (const Properties &rhs) const

Public Attributes
namePrefixTy	namePrefix

Detailed Description

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

Member Typedef Documentation

namePrefixTy

using llzk::smt::detail::DeclareFunOpGenericAdaptorBase::Properties::namePrefixTy = ::mlir::StringAttr

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

Member Function Documentation

getNamePrefix()

auto llzk::smt::detail::DeclareFunOpGenericAdaptorBase::Properties::getNamePrefix ( )

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setNamePrefix()

void llzk::smt::detail::DeclareFunOpGenericAdaptorBase::Properties::setNamePrefix ( const ::mlir::StringAttr & propValue )

inline

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

Member Data Documentation

namePrefix

namePrefixTy llzk::smt::detail::DeclareFunOpGenericAdaptorBase::Properties::namePrefix

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