- n -
- n_symbols
: linkingt::adjust_type_infot
- naive
: event_grapht::graph_pensieve_explorert
- name
: is_name_equalt
, java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
, java_bytecode_parse_treet::methodt::local_variablet
, language_modulet
, symbolt
, temporary_filet
, xmlt
- name_map
: ansi_c_scopet
- named_sub
: irept::dt
- NaN
: float_bvt::unpacked_floatt
, float_utilst::unpacked_floatt
- NaN_flag
: ieee_floatt
- native_tool_name
: as_modet
, gcc_modet
- natural_loops
: acceleratet
, havoc_loopst
, k_inductiont
- nb_threads
: shared_bufferst
- ne_set
: invariant_sett
- needed_classes
: ci_lazy_methodst
- needed_methods
: ci_lazy_methodst
- new_change_impact
: change_impactt
- new_code
: goto_checkt
, goto_program_dereferencet
- new_dep_graph
: change_impactt
- new_functions
: goto_difft
- new_goto_functions
: change_impactt
, unified_difft
- new_symbol
: linkingt::adjust_type_infot
- new_symbol_table
: bmct
, goto_symext
, value_set_dereferencet
- new_symbols
: var_mapt
- next
: __CPROVER_jsa_abstract_node
, __CPROVER_jsa_concrete_node
- next_avail
: __CPROVER_pipet
- next_in
: mz_stream_s
- next_operand
: printf_formattert
- next_out
: mz_stream_s
- next_PC
: interpretert
- next_symbol_id
: string_constraint_generatort
- next_unread
: __CPROVER_pipet
- nil
: acceleration_utilst
- nil_target
: goto_program_templatet< codeT, guardT >::instructiont
- no
: dstringt
- no_body_set
: goto_inlinet
- no_boolean_variables
: cvc_convt
, smt1_convt
, smt2_convt
- no_branches
: path_symex_statet
- no_operands
: bv_refinementt::approximationt
- no_state
: trace_automatont
- no_thread_interleavings
: path_symex_statet
- node
: mini_bddt
- node_id
: __CPROVER_jsa_iterator
, dep_graph_domaint
- node_map
: bdd_exprt
- node_name
: xml_graph_nodet
- node_number
: mini_bdd_nodet
- node_required
: full_slicert::cfg_nodet
- nodes
: aigt
, grapht< N >
, local_cfgt
, mini_bdd_mgrt
, unsigned_union_find
- nondet_count
: goto_symext
, var_mapt
- nonrecursive
: polynomial_acceleratort
- not_contains_axioms
: string_refinementt
- not_found_msg
: sharing_mapt< keyT, valueT, hashT, predT >
- notes
: smt2_convt
- nr_starts
: timert
- ns
: acceleratet
, acceleration_utilst
, base_type_eqt
, bdd_exprt
, bmct
, boolbv_mapt
, boolbv_widtht
, c_sizeoft
, c_typecastt
, cbmc_solverst
, code_contractst
, compilet
, cone_of_influencet
, const_function_pointer_propagationt
, decision_proceduret
, dependence_grapht
, dereferencet
, disjunctive_polynomial_accelerationt
, does_remove_constt
, dott
, dump_ct
, endianness_mapt
, expr2ct
, flow_insensitive_analysis_baset
, goto_checkt
, goto_convertt
, goto_inlinet
, goto_program2codet
, goto_program_dereferencet
, goto_symext
, graphml_witnesst
, instrumentert::cfg_visitort
, instrumentert
, interpretert
, inv_object_storet
, invariant_propagationt
, invariant_sett
, java_bytecode_typecheckt
, java_bytecode_vtable_factoryt
, java_object_factoryt
, jsil_typecheckt
, languagest
, linkingt
, locst
, member_offset_iterator
, overflow_instrumentert
, partial_order_concurrencyt
, pointer_logict
, polynomial_acceleratort
, postconditiont
, preconditiont
, printf_formattert
, reaching_definitions_analysist
, remove_const_function_pointerst
, remove_function_pointerst
, remove_instanceoft
, remove_virtual_functionst
, rw_range_sett
, rw_set_baset
, safety_checkert
, sat_path_enumeratort
, scratch_programt
, show_goto_functions_jsont
, show_goto_functions_xmlt
, simple_insertiont
, simplify_exprt
, static_analysis_baset
, static_analyzert
, string_abstractiont
, string_instrumentationt
, symbol_factoryt
, symex_coveraget
, symex_slice_by_tracet
, symex_target_equationt
, uninitializedt
, value_set_dereferencet
, var_mapt
, zero_initializert
- ns_collision
: expr2ct
- ns_new
: change_impactt
, unified_difft
- ns_old
: change_impactt
, unified_difft
- nta
: trace_automatont
- NULL_is_zero
: configt::ansi_ct
- null_json_object
: jsont
- null_object
: pointer_logict
- num
: sharing_mapt< keyT, valueT, hashT, predT >
- num_executions
: symex_coveraget::coverage_infot
- num_sccs
: instrumentert
- num_states
: automatont
- num_symbols
: acceleration_utilst
- number
: java_bytecode_parsert::pool_entryt
, var_mapt::var_infot
- number_of_dropped_states
: path_searcht
- number_of_errors
: Parser
- number_of_failed_properties
: path_searcht
- number_of_feasible_paths
: path_searcht
- number_of_infeasible_paths
: path_searcht
- number_of_locs
: path_searcht
- number_of_paths
: path_searcht
- number_of_sections
: elf_readert
- number_of_steps
: path_searcht
- number_of_VCCs
: path_searcht
- number_of_VCCs_after_simplification
: path_searcht
- numbering
: irep_hash_container_baset
, partial_order_concurrencyt
- numbers
: hash_numbering< T, hash_fkt >
, numbering< T >
- numerator
: rationalt