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

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

ConcreteEntity typedefllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >
FallbackModel()llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >inline
getSelfValue(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::getSelfValuellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
getTypeSignature(::mlir::Operation *tablegen_opaque_val) constllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >::getTypeSignature(const Concept *impl, ::mlir::Operation *tablegen_opaque_val)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >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::FallbackModel< ConcreteModel >
toVectorOfValueRange(::mlir::OperandRangeRange input)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::toVectorOfValueRangellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
unifyTypeSignature(::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other) constllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >::unifyTypeSignature(const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::unifyTypeSignaturellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
unifyTypeSignatureWithNamespace(::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other, ::mlir::ArrayRef<::llvm::StringRef > rhsReversePrefix) constllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >::unifyTypeSignatureWithNamespace(const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::FunctionType other, ::mlir::ArrayRef<::llvm::StringRef > rhsReversePrefix)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::unifyTypeSignatureWithNamespacellzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
verifyTemplateParamsMatchInferred(::mlir::Operation *tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs, const ::llzk::UnificationMap &unifications) constllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >::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::FallbackModel< ConcreteModel >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::verifyTemplateParamsMatchInferredllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
verifyTemplateParamValueCompatibility(::mlir::Operation *tablegen_opaque_val, ::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam) constllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >::verifyTemplateParamValueCompatibility(const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::mlir::Attribute paramFromCallOp, ::llzk::polymorphic::TemplateParamOp targetParam)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::verifyTemplateParamValueCompatibilityllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept
verifyTemplateParamValuesCompatibility(::mlir::Operation *tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs) constllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >::verifyTemplateParamValuesCompatibility(const Concept *impl, ::mlir::Operation *tablegen_opaque_val, ::llvm::iterator_range<::mlir::Region::op_iterator<::llzk::polymorphic::TemplateParamOp > > targetParamDefs)llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::FallbackModel< ConcreteModel >static
llzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept::verifyTemplateParamValuesCompatibilityllzk::detail::LLZKCallLikeOpInterfaceInterfaceTraits::Concept