LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::verif::StepOpAdaptor Member List

This is the complete list of members for llzk::verif::StepOpAdaptor, including all inherited members.

getAttributes()llzk::verif::detail::StepOpGenericAdaptorBaseinline
getODSOperandIndexAndLength(unsigned index)llzk::verif::StepOpGenericAdaptor<::mlir::ValueRange >inline
llzk::verif::detail::StepOpGenericAdaptorBase::getODSOperandIndexAndLength(unsigned index, unsigned odsOperandsSize)llzk::verif::detail::StepOpGenericAdaptorBaseinline
getODSOperands(unsigned index)llzk::verif::StepOpGenericAdaptor<::mlir::ValueRange >inline
getOperands()llzk::verif::StepOpGenericAdaptor<::mlir::ValueRange >inline
getRegion()llzk::verif::detail::StepOpGenericAdaptorBaseinline
getRegions()llzk::verif::detail::StepOpGenericAdaptorBaseinline
odsAttrsllzk::verif::detail::StepOpGenericAdaptorBaseprotected
odsOpNamellzk::verif::detail::StepOpGenericAdaptorBaseprotected
odsRegionsllzk::verif::detail::StepOpGenericAdaptorBaseprotected
StepOpAdaptor(StepOp op)llzk::verif::StepOpAdaptor
StepOpGenericAdaptor(RangeT values, ::mlir::DictionaryAttr attrs={}, const ::mlir::EmptyProperties &properties={}, ::mlir::RegionRange regions={})llzk::verif::StepOpAdaptorinline
StepOpGenericAdaptor(RangeT values, ::mlir::DictionaryAttr attrs, ::mlir::OpaqueProperties properties, ::mlir::RegionRange regions={})llzk::verif::StepOpAdaptorinline
StepOpGenericAdaptor(RangeT values, const StepOpGenericAdaptorBase &base)llzk::verif::StepOpAdaptorinline
StepOpGenericAdaptor(RangeT values, LateInst op)llzk::verif::StepOpAdaptorinline
llzk::verif::StepOpGenericAdaptor<::mlir::ValueRange >::StepOpGenericAdaptor(::mlir::ValueRange values, ::mlir::DictionaryAttr attrs={}, const ::mlir::EmptyProperties &properties={}, ::mlir::RegionRange regions={})llzk::verif::StepOpGenericAdaptor<::mlir::ValueRange >inline
StepOpGenericAdaptorBase(::mlir::DictionaryAttr attrs={}, const ::mlir::EmptyProperties &properties={}, ::mlir::RegionRange regions={})llzk::verif::detail::StepOpGenericAdaptorBaseinline
StepOpGenericAdaptorBase(::mlir::Operation *op)llzk::verif::detail::StepOpGenericAdaptorBaseinline
verify(::mlir::Location loc)llzk::verif::StepOpAdaptor