| getAttributes() | llzk::smt::detail::OrOpGenericAdaptorBase | inline |
| getInputs() | llzk::smt::OrOpGenericAdaptor<::mlir::ValueRange > | inline |
| getODSOperandIndexAndLength(unsigned index) | llzk::smt::OrOpGenericAdaptor<::mlir::ValueRange > | inline |
| llzk::smt::detail::OrOpGenericAdaptorBase::getODSOperandIndexAndLength(unsigned index, unsigned odsOperandsSize) | llzk::smt::detail::OrOpGenericAdaptorBase | |
| getODSOperands(unsigned index) | llzk::smt::OrOpGenericAdaptor<::mlir::ValueRange > | inline |
| getOperands() | llzk::smt::OrOpGenericAdaptor<::mlir::ValueRange > | inline |
| odsAttrs | llzk::smt::detail::OrOpGenericAdaptorBase | protected |
| odsOpName | llzk::smt::detail::OrOpGenericAdaptorBase | protected |
| odsRegions | llzk::smt::detail::OrOpGenericAdaptorBase | protected |
| OrOpAdaptor(OrOp op) | llzk::smt::OrOpAdaptor | |
| OrOpGenericAdaptor(RangeT values, ::mlir::DictionaryAttr attrs={}, const ::mlir::EmptyProperties &properties={}, ::mlir::RegionRange regions={}) | llzk::smt::OrOpAdaptor | inline |
| OrOpGenericAdaptor(RangeT values, ::mlir::DictionaryAttr attrs, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions={}) | llzk::smt::OrOpAdaptor | inline |
| OrOpGenericAdaptor(RangeT values, const OrOpGenericAdaptorBase &base) | llzk::smt::OrOpAdaptor | inline |
| OrOpGenericAdaptor(RangeT values, LateInst op) | llzk::smt::OrOpAdaptor | inline |
| llzk::smt::OrOpGenericAdaptor<::mlir::ValueRange >::OrOpGenericAdaptor(::mlir::ValueRange values, ::mlir::DictionaryAttr attrs={}, const ::mlir::EmptyProperties &properties={}, ::mlir::RegionRange regions={}) | llzk::smt::OrOpGenericAdaptor<::mlir::ValueRange > | inline |
| OrOpGenericAdaptorBase(::mlir::DictionaryAttr attrs={}, const ::mlir::EmptyProperties &properties={}, ::mlir::RegionRange regions={}) | llzk::smt::detail::OrOpGenericAdaptorBase | inline |
| OrOpGenericAdaptorBase(::mlir::Operation *op) | llzk::smt::detail::OrOpGenericAdaptorBase | inline |
| verify(::mlir::Location loc) | llzk::smt::OrOpAdaptor | |