llzk::smt::detail::BVConstantOpGenericAdaptorBase::Properties Struct Reference

Public Types
using	valueTy = ::llzk::smt::BitVectorAttr

Public Member Functions
auto	getValue ()
void	setValue (const ::llzk::smt::BitVectorAttr &propValue)
bool	operator== (const Properties &rhs) const
bool	operator!= (const Properties &rhs) const

Public Attributes
valueTy	value

Detailed Description

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

Member Typedef Documentation

valueTy

using llzk::smt::detail::BVConstantOpGenericAdaptorBase::Properties::valueTy = ::llzk::smt::BitVectorAttr

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

Member Function Documentation

getValue()

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

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setValue()

void llzk::smt::detail::BVConstantOpGenericAdaptorBase::Properties::setValue ( const ::llzk::smt::BitVectorAttr & propValue )

inline

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

Member Data Documentation

value

valueTy llzk::smt::detail::BVConstantOpGenericAdaptorBase::Properties::value

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