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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

- 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_float_valuet
• 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
• newly_allocated : get_or_create_reference_resultt
• 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_operand : printf_formattert
• 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 : small_mapt< T, Ind, Num >
• num : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• 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