- n -
- name_mapt
: ansi_c_scopet
- named_subt
: irept
- named_termst
: smt2_parsert
- natural_loopt
: natural_loops_templatet< P, T >
- no_body_sett
: goto_inlinet
- node_indext
: dep_graph_domaint
, function_indicest
, graph_nodet< E >
, grapht< N >
- node_mapt
: bdd_exprt
- node_nrt
: local_cfgt
- nodes_by_namet
: call_grapht::directed_grapht
, class_hierarchy_grapht
- nodest
: call_grapht
, grapht< N >
, local_cfgt
, mini_bdd_mgrt
- nodet
: grapht< N >
, instrumentert::cfg_visitort
, natural_loops_templatet< P, T >
- number_type
: template_numberingt< Map >
, union_find< T >
- numbering_typet
: union_find< T >
- numberingt
: irep_hash_container_baset
, partial_order_concurrencyt