llzk::smt::detail::BVCmpOpGenericAdaptorBase::Properties Struct Reference

Collaboration diagram for llzk::smt::detail::BVCmpOpGenericAdaptorBase::Properties:

Public Types
using	predTy = ::llzk::smt::BVCmpPredicateAttr

Public Member Functions
auto	getPred ()
void	setPred (const ::llzk::smt::BVCmpPredicateAttr &propValue)
bool	operator== (const Properties &rhs) const
bool	operator!= (const Properties &rhs) const

Public Attributes
predTy	pred

Detailed Description

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

Member Typedef Documentation

predTy

using llzk::smt::detail::BVCmpOpGenericAdaptorBase::Properties::predTy = ::llzk::smt::BVCmpPredicateAttr

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

Member Function Documentation

getPred()

auto llzk::smt::detail::BVCmpOpGenericAdaptorBase::Properties::getPred ( )

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setPred()

void llzk::smt::detail::BVCmpOpGenericAdaptorBase::Properties::setPred ( const ::llzk::smt::BVCmpPredicateAttr & propValue )

inline

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

Member Data Documentation

pred

predTy llzk::smt::detail::BVCmpOpGenericAdaptorBase::Properties::pred

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