llzk::smt::detail::BV2IntOpGenericAdaptorBase::Properties Struct Reference

Public Types
using	is_signedTy = ::mlir::UnitAttr

Public Member Functions
auto	getIsSigned ()
void	setIsSigned (const ::mlir::UnitAttr &propValue)
bool	operator== (const Properties &rhs) const
bool	operator!= (const Properties &rhs) const

Public Attributes
is_signedTy	is_signed

Detailed Description

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

Member Typedef Documentation

is_signedTy

using llzk::smt::detail::BV2IntOpGenericAdaptorBase::Properties::is_signedTy = ::mlir::UnitAttr

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

Member Function Documentation

getIsSigned()

auto llzk::smt::detail::BV2IntOpGenericAdaptorBase::Properties::getIsSigned ( )

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setIsSigned()

void llzk::smt::detail::BV2IntOpGenericAdaptorBase::Properties::setIsSigned ( const ::mlir::UnitAttr & propValue )

inline

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

Member Data Documentation

is_signed

is_signedTy llzk::smt::detail::BV2IntOpGenericAdaptorBase::Properties::is_signed

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