llzk::smt::detail::SetInfoOpGenericAdaptorBase::Properties Struct Reference

Public Types
using	keyTy = ::llzk::smt::KeywordAttr
using	valueTy = ::mlir::Attribute

Public Member Functions
auto	getKey ()
void	setKey (const ::llzk::smt::KeywordAttr &propValue)
auto	getValue ()
void	setValue (const ::mlir::Attribute &propValue)
bool	operator== (const Properties &rhs) const
bool	operator!= (const Properties &rhs) const

Public Attributes
keyTy	key
valueTy	value

Detailed Description

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

Member Typedef Documentation

keyTy

using llzk::smt::detail::SetInfoOpGenericAdaptorBase::Properties::keyTy = ::llzk::smt::KeywordAttr

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

valueTy

using llzk::smt::detail::SetInfoOpGenericAdaptorBase::Properties::valueTy = ::mlir::Attribute

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

Member Function Documentation

getKey()

auto llzk::smt::detail::SetInfoOpGenericAdaptorBase::Properties::getKey ( )

inline

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

getValue()

auto llzk::smt::detail::SetInfoOpGenericAdaptorBase::Properties::getValue ( )

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setKey()

void llzk::smt::detail::SetInfoOpGenericAdaptorBase::Properties::setKey ( const ::llzk::smt::KeywordAttr & propValue )

inline

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

setValue()

void llzk::smt::detail::SetInfoOpGenericAdaptorBase::Properties::setValue ( const ::mlir::Attribute & propValue )

inline

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

Member Data Documentation

key

keyTy llzk::smt::detail::SetInfoOpGenericAdaptorBase::Properties::key

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

value

valueTy llzk::smt::detail::SetInfoOpGenericAdaptorBase::Properties::value

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