LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::smt::OrOpAdaptor Member List

This is the complete list of members for llzk::smt::OrOpAdaptor, including all inherited members.

getAttributes()llzk::smt::detail::OrOpGenericAdaptorBaseinline
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
odsAttrsllzk::smt::detail::OrOpGenericAdaptorBaseprotected
odsOpNamellzk::smt::detail::OrOpGenericAdaptorBaseprotected
odsRegionsllzk::smt::detail::OrOpGenericAdaptorBaseprotected
OrOpAdaptor(OrOp op)llzk::smt::OrOpAdaptor
OrOpGenericAdaptor(RangeT values, ::mlir::DictionaryAttr attrs={}, const ::mlir::EmptyProperties &properties={}, ::mlir::RegionRange regions={})llzk::smt::OrOpAdaptorinline
OrOpGenericAdaptor(RangeT values, ::mlir::DictionaryAttr attrs, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions={})llzk::smt::OrOpAdaptorinline
OrOpGenericAdaptor(RangeT values, const OrOpGenericAdaptorBase &base)llzk::smt::OrOpAdaptorinline
OrOpGenericAdaptor(RangeT values, LateInst op)llzk::smt::OrOpAdaptorinline
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::OrOpGenericAdaptorBaseinline
OrOpGenericAdaptorBase(::mlir::Operation *op)llzk::smt::detail::OrOpGenericAdaptorBaseinline
verify(::mlir::Location loc)llzk::smt::OrOpAdaptor