llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties Struct Reference

Public Types
using	boundVarNamesTy = ::mlir::ArrayAttr
using	noPatternTy = ::mlir::UnitAttr
using	weightTy = ::mlir::IntegerAttr

Public Member Functions
auto	getBoundVarNames ()
void	setBoundVarNames (const ::mlir::ArrayAttr &propValue)
auto	getNoPattern ()
void	setNoPattern (const ::mlir::UnitAttr &propValue)
auto	getWeight ()
void	setWeight (const ::mlir::IntegerAttr &propValue)
bool	operator== (const Properties &rhs) const
bool	operator!= (const Properties &rhs) const

Public Attributes
boundVarNamesTy	boundVarNames
noPatternTy	noPattern
weightTy	weight

Detailed Description

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

Member Typedef Documentation

boundVarNamesTy

using llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::boundVarNamesTy = ::mlir::ArrayAttr

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

noPatternTy

using llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::noPatternTy = ::mlir::UnitAttr

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

weightTy

using llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::weightTy = ::mlir::IntegerAttr

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

Member Function Documentation

getBoundVarNames()

auto llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::getBoundVarNames ( )

inline

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

getNoPattern()

auto llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::getNoPattern ( )

inline

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

getWeight()

auto llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::getWeight ( )

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setBoundVarNames()

void llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::setBoundVarNames ( const ::mlir::ArrayAttr & propValue )

inline

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

setNoPattern()

void llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::setNoPattern ( const ::mlir::UnitAttr & propValue )

inline

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

setWeight()

void llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::setWeight ( const ::mlir::IntegerAttr & propValue )

inline

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

Member Data Documentation

boundVarNames

boundVarNamesTy llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::boundVarNames

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

noPattern

noPatternTy llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::noPattern

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

weight

weightTy llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties::weight

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