Here is a list of all variables with links to the classes they belong to:
- 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 : 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
1.9.8 
