llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties Struct Reference

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

Public Member Functions
auto	getKey () const
void	setKey (const ::llzk::smt_info::KeywordAttr &propValue)
auto	getValue () const
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 30 of file SMTInfoOps.h.inc.

Member Typedef Documentation

keyTy

using llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::keyTy = ::llzk::smt_info::KeywordAttr

Definition at line 31 of file SMTInfoOps.h.inc.

valueTy

using llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::valueTy = ::mlir::Attribute

Definition at line 41 of file SMTInfoOps.h.inc.

Member Function Documentation

getKey()

auto llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::getKey ( ) const

inline

Definition at line 34 of file SMTInfoOps.h.inc.

getValue()

auto llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::getValue ( ) const

inline

Definition at line 44 of file SMTInfoOps.h.inc.

operator!=()

bool llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::operator!= ( const Properties & rhs ) const

inline

Definition at line 57 of file SMTInfoOps.h.inc.

operator==()

bool llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::operator== ( const Properties & rhs ) const

inline

Definition at line 51 of file SMTInfoOps.h.inc.

setKey()

void llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::setKey ( const ::llzk::smt_info::KeywordAttr & propValue )

inline

Definition at line 38 of file SMTInfoOps.h.inc.

setValue()

void llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::setValue ( const ::mlir::Attribute & propValue )

inline

Definition at line 48 of file SMTInfoOps.h.inc.

Member Data Documentation

key

keyTy llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::key

Definition at line 32 of file SMTInfoOps.h.inc.

value

valueTy llzk::smt_info::detail::SMTInfoSetOpGenericAdaptorBase::Properties::value

Definition at line 42 of file SMTInfoOps.h.inc.

---

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

• build/include/llzk/Dialect/SMTInfo/IR/SMTInfoOps.h.inc