- n -

• n_architectures : fat_header_prefixt
• N_BITS : small_mapt< T, Ind, Num >
• n_symbols : linkingt::adjust_type_infot
• n_values_set : dense_integer_mapt< K, V, KeyToDenseInteger >
• naive : event_grapht::graph_pensieve_explorert
• name : gdb_value_extractort::memory_scopet , java_bytecode_parse_treet::classt , java_bytecode_parse_treet::membert , java_bytecode_parse_treet::methodt::local_variablet , language_modulet , osx_mach_o_readert::sectiont , smt2_parsert::named_termt , statement_list_parse_treet::tia_modulet , symbolt , temporary_filet , xmlt
• name_and_type_index : base_ref_infot
• name_index : class_infot , name_and_type_infot
• name_map : ansi_c_scopet
• name_prefix : allocate_objectst
• name_snippets : aggressive_slicert
• name_to_flag : goto_check_ct
• named_sub : tree_nodet< treet, named_subtreest, sharing >
• named_terms : smt2_parsert
• NaN : float_bvt::unpacked_floatt , float_utilst::unpacked_floatt
• NaN_flag : ieee_floatt
• nand : smt_bit_vector_theoryt
• native_tool_name : as_modet , gcc_modet , ld_modet
• natural_loops : acceleratet , havoc_loopst , k_inductiont
• nb_threads : shared_bufferst
• ne_set : invariant_sett
• needed_lazy_methods : java_bytecode_convert_methodt , object_creation_infot
• neg_guards : enumerative_loop_contracts_synthesizert
• negate : smt_bit_vector_theoryt
• nesting_depth : statement_list_typecheckt::stl_jump_locationt , statement_list_typecheckt::stl_label_locationt
• nesting_stack : statement_list_typecheckt
• networks : statement_list_parse_treet::tia_modulet
• new_change_impact : change_impactt
• new_code : goto_check_ct , goto_program_dereferencet
• new_dep_graph : change_impactt
• new_functions : goto_difft
• new_goto_functions : change_impactt , unified_difft
• new_method_seen : ci_lazy_methodst::convert_method_resultt
• new_symbol : linkingt::adjust_type_infot
• new_symbol_table : value_set_dereferencet
• next : __CPROVER_jsa_abstract_node , __CPROVER_jsa_concrete_node , interval_index_ranget , value_set_index_ranget , value_set_value_ranget
• next_avail : __CPROVER_pipet
• next_free_suffix_for_prefix : symbol_table_buildert
• next_id : smt2_incremental_decision_proceduret::sequencet
• next_in : mz_stream_s
• next_operand : printf_formattert
• next_out : mz_stream_s
• next_pc : interpretert
• next_unread : __CPROVER_pipet
• nfa : levenshtein_automatont
• nil : acceleration_utilst , empty_index_ranget
• nil_target : goto_programt::instructiont
• no : dstringt
• no_body_regex : inlining_decoratort
• no_body_set : goto_inlinet , inlining_decoratort
• no_boolean_variables : smt2_convt
• no_caller_history : ai_history_baset
• no_load_classes : java_bytecode_convert_classt , java_bytecode_language_optionst
• no_logging : ait< domainT >
• no_operands : bv_refinementt::approximationt
• no_state : automatont
• node : bdd_nodet , mini_bddt
• node_id : __CPROVER_jsa_iterator , dep_graph_domaint , destructor_and_idt , variable_sensitivity_dependence_domaint
• node_index : reachability_slicert::search_stack_entryt
• node_index_pool : string_dependenciest
• node_map : bdd_exprt
• node_name : xml_graph_nodet
• node_number : mini_bdd_nodet
• node_required : full_slicert::cfg_nodet
• nodes : call_grapht , grapht< N > , local_cfgt , mini_bdd_mgrt , unsigned_union_find
• nodes_by_name : call_grapht::directed_grapht , class_hierarchy_grapht
• nof_assigns_targets : dfcc_contract_functionst
• nof_elems : __CPROVER_contracts_obj_set_t
• nof_frees_targets : dfcc_contract_functionst
• non_null_assignments : require_goto_statements::pointer_assignment_locationt
• non_null_expressions : local_safe_pointerst
• nondet_count : symex_nondet_generatort
• nondet_counter : workt
• nondet_globals : function_call_harness_generatort::implt
• nondet_static : java_bytecode_language_optionst
• nondet_variables : nondet_volatilet
• nonrecursive : polynomial_acceleratort
• nonterminal_set : enumerator_factoryt
• nor : smt_bit_vector_theoryt
• not_contains : string_axiomst , string_constraintst
• not_enough_arguments_regex : inlining_decoratort
• not_enough_arguments_set : inlining_decoratort
• notes : smt2_convt
• nothing : empty_value_ranget
• npos : interpretert
• ns : acceleratet , acceleration_utilst , allocate_objectst , arrayst , axiomst , boolbv_widtht , bv_refinementt::infot , c_typecastt , can_forward_propagatet , cegis_verifiert , code_contractst , cone_of_influencet , constants_evaluator , contracts_wranglert , conversion_dependenciest , cover_instrumenter_baset , dependence_grapht , dfcc_cfg_infot , dfcc_contract_clauses_codegent , dfcc_contract_functionst , dfcc_contract_handlert , dfcc_instrument_loopt , dfcc_instrumentt , dfcc_spec_functionst , dfcc_swap_and_wrapt , dfcc_wrapper_programt , dfcct , disjunctive_polynomial_accelerationt , dump_ct , endianness_mapt , enumerative_loop_contracts_synthesizert , enumerator_baset , enumerator_factoryt , expr2ct , expr2stlt , expr_initializert , flow_insensitive_analysis_baset , gdb_value_extractort , generic_parameter_specialization_mapt::printert , get_virtual_calleest , goto_check_ct , goto_convertt , goto_inlinet , goto_program2codet , goto_program_dereferencet , goto_symext , goto_trace_storaget , graphml_witnesst , havoc_assigns_targetst , havoc_if_validt , havoc_loopst , instrument_spec_assignst , instrumentert::cfg_visitort , instrumentert , interpretert , interval_evaluator , interval_index_ranget , inv_object_storet , invariant_propagationt , invariant_sett , is_compile_time_constantt , java_bytecode_convert_methodt , java_bytecode_typecheckt , java_qualifierst , k_inductiont , linking_diagnosticst , linkingt , local_bitvector_analysist , mm_iot , multi_path_symex_only_checkert , 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_java_newt , remove_virtual_functionst , rw_range_sett , rw_set_baset , rw_set_functiont , safety_checkert , sat_path_enumeratort , scratch_programt , shadow_memoryt , simplify_exprt , single_loop_incremental_symex_checkert , single_path_symex_only_checkert , smt2_convt , smt2_incremental_decision_proceduret , solver_factoryt , string_abstractiont , string_constraint_generatort , string_instrumentationt , struct_encodingt , symbol_factoryt , symex_assignt , symex_coveraget , symex_dereference_statet , uninitializedt , value_expr_from_smt_factoryt , value_set_analysis_templatet< VSDT > , value_set_dereferencet , value_set_evaluator , variable_sensitivity_dependence_grapht
• ns_ : widened_ranget
• ns_collision : expr2ct
• ns_new : change_impactt , unified_difft
• ns_old : change_impactt , unified_difft
• nta : trace_automatont
• null_address : gdb_apit::memory_addresst
• null_assignment : require_goto_statements::pointer_assignment_locationt
• NULL_is_zero : configt::ansi_ct
• null_json_object : jsont
• null_object : pointer_logict
• num : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• NUM : small_mapt< T, Ind, Num >
• num_dynamic_objects : interpretert
• num_executions : symex_coveraget::coverage_infot
• num_leafs : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::sharing_map_statst
• num_nodes : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::sharing_map_statst
• num_sccs : instrumentert
• num_states : automatont
• num_steps : interpretert
• num_types : small_shared_n_way_ptrt< Ts >
• num_unique_leafs : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::sharing_map_statst
• num_unique_nodes : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::sharing_map_statst
• number : irep_hash_container_baset::irep_entryt , java_bytecode_parsert::pool_entryt
• number_of_arrays : abstract_object_statisticst
• number_of_constants : abstract_object_statisticst
• number_of_errors : Parser
• number_of_globals : abstract_object_statisticst
• number_of_interval_abstract_objects : abstract_object_statisticst
• number_of_pointers : abstract_object_statisticst
• number_of_sections : elf_readert
• number_of_single_value_intervals : abstract_object_statisticst
• number_of_solver_calls : propt , smt2_convt , smt2_incremental_decision_proceduret
• number_of_structs : abstract_object_statisticst
• numbered_pointers : bv_pointers_widet
• numbering : irep_hash_container_baset , partial_order_concurrencyt
• numbers : union_find< T, hasht >
• numbers_ : numberingt< keyt, hasht >
• numerator : rationalt