LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp > Member List

This is the complete list of members for llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >, including all inherited members.

getSelfValue(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::getSelfValuellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
getTypeSignature(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::getTypeSignaturellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
implArgAndResultAttrsOpInterfacellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
implCallOpInterfacellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
implSymbolUserOpInterfacellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
initializeInterfaceConcept(::mlir::detail::InterfaceMap &interfaceMap)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Conceptinline
Interface typedefllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >
Model()llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >inline
toVectorOfValueRange(::mlir::OperandRangeRange input)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::toVectorOfValueRangellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
unifyTypeSignature(const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::unifyTypeSignaturellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
unifyTypeSignatureWithNamespace(const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other, ::mlir::ArrayRef<::llvm::StringRef > rhsReversePrefix)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::unifyTypeSignatureWithNamespacellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
verifyTemplateParamsMatchInferred(const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs, const ::llzk::UnificationMap &unifications)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::verifyTemplateParamsMatchInferredllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
verifyTemplateParamValueCompatibility(const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::verifyTemplateParamValueCompatibilityllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
verifyTemplateParamValuesCompatibility(const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Model< ConcreteOp >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::verifyTemplateParamValuesCompatibilityllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept