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 5028 of file SMT.h.inc.

Member Typedef Documentation

boundVarNamesTy

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

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

noPatternTy

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

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

weightTy

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

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

Member Function Documentation

getBoundVarNames()

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

inline

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

getNoPattern()

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

inline

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

getWeight()

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

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setBoundVarNames()

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

inline

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

setNoPattern()

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

inline

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

setWeight()

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

inline

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

Member Data Documentation

boundVarNames

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

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

noPattern

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

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

weight

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

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