Here is a list of all typedefs with links to the classes they belong to:

- n -

• name_refTy : llzk::global::detail::GlobalReadOpGenericAdaptorBase::Properties, llzk::global::detail::GlobalWriteOpGenericAdaptorBase::Properties
• namePrefixTy : llzk::smt::detail::DeclareFunOpGenericAdaptorBase::Properties
• NodeRef : llvm::DOTGraphTraits< const llzk::SymbolDefTreeNode * >, llvm::DOTGraphTraits< const llzk::SymbolUseGraphNode * >, llvm::GraphTraits< const llzk::CallGraphNode * >, llvm::GraphTraits< const llzk::SymbolDefTreeNode * >, llvm::GraphTraits< const llzk::SymbolUseGraphNode * >, llvm::GraphTraits< Inverse< const llzk::SymbolUseGraphNode * > >
• nodes_iterator : llvm::GraphTraits< const llzk::CallGraph * >, llvm::GraphTraits< const llzk::SymbolDefTree * >, llvm::GraphTraits< const llzk::SymbolUseGraph * >, llvm::GraphTraits< Inverse< const llzk::SymbolUseGraph * > >
• noPatternTy : llzk::smt::detail::ExistsOpGenericAdaptorBase::Properties, llzk::smt::detail::ForallOpGenericAdaptorBase::Properties
• numDimsPerMapTy : llzk::array::detail::CreateArrayOpGenericAdaptorBase::Properties, llzk::component::detail::MemberReadOpGenericAdaptorBase::Properties, llzk::function::detail::CallOpGenericAdaptorBase::Properties, llzk::pod::detail::NewPodOpGenericAdaptorBase::Properties, llzk::verif::detail::IncludeOpGenericAdaptorBase::Properties
• numDimsTy : llzk::polymorphic::detail::ApplyMapOpGenericAdaptorBase::Properties