llzk::smt::detail::ForallOpGenericAdaptorBase::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 5534 of file SMT.h.inc.

Member Typedef Documentation

boundVarNamesTy

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

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

noPatternTy

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

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

weightTy

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

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

Member Function Documentation

getBoundVarNames()

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

inline

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

getNoPattern()

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

inline

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

getWeight()

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

inline

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

operator!=()

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

inline

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

operator==()

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

inline

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

setBoundVarNames()

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

inline

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

setNoPattern()

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

inline

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

setWeight()

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

inline

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

Member Data Documentation

boundVarNames

boundVarNamesTy llzk::smt::detail::ForallOpGenericAdaptorBase::Properties::boundVarNames

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

noPattern

noPatternTy llzk::smt::detail::ForallOpGenericAdaptorBase::Properties::noPattern

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

weight

weightTy llzk::smt::detail::ForallOpGenericAdaptorBase::Properties::weight

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