Here is a list of all class members 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() : cpp_declaratort , cpp_usingt , 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 , string_builtin_function_with_no_evalt , string_builtin_functiont , string_concat_char_builtin_functiont , string_concatenation_builtin_functiont , string_format_builtin_functiont , string_insertion_builtin_functiont , string_of_int_builtin_functiont , string_set_char_builtin_functiont , string_to_lower_case_builtin_functiont , string_to_upper_case_builtin_functiont , symbolt , temporary_filet , xmlt
• name_and_type_index : base_ref_infot
• name_and_type_infot() : name_and_type_infot
• name_anon_struct_union() : cpp_declarationt
• name_index : class_infot , name_and_type_infot
• name_index_mapt : path_storaget
• name_map : ansi_c_scopet
• name_mapt : ansi_c_scopet
• name_prefix : allocate_objectst
• name_snippets : aggressive_slicert
• name_to_flag : goto_check_ct
• named_check_statust : goto_check_ct
• named_sub : tree_nodet< treet, named_subtreest, sharing >
• named_subt : non_sharing_treet< derivedt, named_subtreest > , sharing_treet< derivedt, named_subtreest > , tree_nodet< treet, named_subtreest, sharing >
• named_term_exprt() : named_term_exprt
• named_terms : smt2_parsert
• named_termst : smt2_parsert
• named_termt() : smt2_parsert::named_termt
• namespacet() : namespacet
• namet() : cpp_namet::namet
• NaN : float_bvt::unpacked_floatt , float_utilst::unpacked_floatt , ieee_floatt
• nan_check() : goto_check_ct
• 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
• natural_loops_templatet() : natural_loops_templatet< P, T, C >
• natural_loopt : natural_loops_templatet< P, T, C >
• natural_typet() : natural_typet
• nb_threads : shared_bufferst
• ne_set : invariant_sett
• needed_lazy_methods : java_bytecode_convert_methodt , object_creation_infot
• needs_cleaning() : goto_convertt
• needs_freeing() : recursive_initializationt
• needs_preprocessing() : gcc_modet
• needs_renaming() : linkingt
• needs_renaming_non_type() : linkingt
• needs_renaming_type() : linkingt
• neg_guards : enumerative_loop_contracts_synthesizert
• negate() : bv_arithmetict , bv_utilst , fixedbvt , float_utilst , ieee_floatt , smt_bit_vector_theoryt
• negate_no_overflow() : bv_utilst
• negation() : float_bvt , string_constraintt
• nesting_depth : statement_list_typecheckt::stl_jump_locationt , statement_list_typecheckt::stl_label_locationt
• nesting_stack : statement_list_typecheckt
• nesting_stack_entryt() : statement_list_typecheckt::nesting_stack_entryt
• nesting_stackt : statement_list_typecheckt
• networks : statement_list_parse_treet::tia_modulet
• networkst : statement_list_parse_treet
• networkt() : statement_list_parse_treet::networkt
• NEW : change_impactt
• new_block_scope() : cpp_scopest
• new_change_impact : change_impactt
• new_code : goto_check_ct , goto_program_dereferencet
• NEW_CTRL_DEP : change_impactt
• NEW_DATA_DEP : change_impactt
• new_dep_graph : change_impactt
• new_element() : xmlt
• new_frame() : call_stackt
• new_functions : goto_difft
• new_goto_functions : change_impactt , unified_difft
• new_instruction() : assembler_parsert
• new_language() : ansi_c_languaget , cpp_languaget , java_bytecode_languaget , json_symtab_languaget , languaget , statement_list_languaget
• new_level() : xml_parsert
• new_method_seen : ci_lazy_methodst::convert_method_resultt
• new_namespace() : cpp_scopest
• new_scope() : ansi_c_parsert , cpp_scopest , cpp_scopet
• new_scopet() : new_scopet
• new_symbol : linkingt::adjust_type_infot
• new_symbol_table : value_set_dereferencet
• new_temporary() : cpp_typecheckt
• new_tmp_symbol() : goto_convertt
• new_value() : update_bit_exprt , update_bits_exprt , update_exprt , update_state_exprt , with_exprt
• new_variable() : cnft , propt , qbf_bdd_certificatet , qbf_bdd_coret
• new_variables() : cnft , propt
• next : __CPROVER_jsa_abstract_node , __CPROVER_jsa_concrete_node , all_paths_enumeratort , interval_index_ranget , path_enumeratort , printf_formattert , sat_path_enumeratort , value_set_index_ranget , value_set_value_ranget
• next_avail : __CPROVER_pipet
• next_element() : interval_index_ranget
• 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_representable() : ieee_floatt
• next_sibling_or_parent() : depth_iterator_baset< depth_iterator_t >
• next_state() : nfat< T >
• next_token() : smt2_parsert , smt2_tokenizert
• next_unread : __CPROVER_pipet
• next_unused_suffix() : journalling_symbol_tablet , symbol_table_baset , symbol_table_buildert
• nfa : levenshtein_automatont
• nfat() : nfat< T > , nfat< T >::statet
• nil : acceleration_utilst , empty_index_ranget , source_locationt
• nil_exprt() : nil_exprt
• nil_target : goto_programt::instructiont
• nnf() : invariant_sett
• no : dstringt
• no_beautification() : solver_factoryt
• no_body_regex : inlining_decoratort
• no_body_set : goto_inlinet , inlining_decoratort
• no_body_sett : goto_inlinet
• no_boolean_variables : smt2_convt
• no_caller_history : ai_history_baset
• NO_CAST : java_bytecode_convert_methodt
• no_clauses() : cnf_clause_listt , cnf_solvert , cnft , dimacs_cnf_dumpt , qbf_squolem_coret , qbf_squolemt
• no_decl_found_exceptiont() : require_goto_statements::no_decl_found_exceptiont
• no_incremental_check() : solver_factoryt
• no_load_classes : java_bytecode_convert_classt , java_bytecode_language_optionst
• no_logging : ait< domainT >
• no_operands : bv_refinementt::approximationt
• NO_RENAMING : linkingt
• no_state : automatont
• no_unique_unimplemented_method_exceptiont() : no_unique_unimplemented_method_exceptiont
• no_variables() : cnft , propt
• node() : axiomst , bdd_nodet , mini_bddt
• node_at() : string_dependenciest
• 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_indext : dep_graph_domaint , function_indicest , graph_nodet< E > , grapht< N > , variable_sensitivity_dependence_domaint
• node_map : bdd_exprt
• node_name : xml_graph_nodet
• node_nrt : local_cfgt
• node_number : mini_bdd_nodet , mini_bddt
• 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
• nodes_by_namet : call_grapht::directed_grapht , class_hierarchy_grapht
• nodes_empty() : cfg_baset< T, P, I > , procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >
• nodest : call_grapht , grapht< N > , local_cfgt , mini_bdd_mgrt
• nodet : cfg_baset< T, P, I > , grapht< N > , instrumentert::cfg_visitort , natural_loops_templatet< P, T, C > , procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett > , sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT > , string_dependenciest::nodet , unsigned_union_find::nodet
• nof_assigns_targets : dfcc_contract_functionst
• nof_elems : __CPROVER_contracts_obj_set_t
• nof_frees_targets : dfcc_contract_functionst
• non_leaf_enumeratort() : non_leaf_enumeratort
• non_null_assignments : require_goto_statements::pointer_assignment_locationt
• non_null_expressions : local_safe_pointerst
• non_sharing_treet() : non_sharing_treet< derivedt, named_subtreest >
• nondet_bool_symbol() : memory_model_baset
• nondet_count : symex_nondet_generatort
• nondet_counter : workt
• nondet_flush() : shared_bufferst
• nondet_globals : function_call_harness_generatort::implt
• nondet_instruction_infot() : nondet_instruction_infot
• nondet_padding_exprt() : nondet_padding_exprt
• nondet_static : java_bytecode_language_optionst
• nondet_symbol_exprt() : nondet_symbol_exprt
• nondet_variables : nondet_volatilet
• nondet_volatile() : nondet_volatilet
• nondet_volatile_lhs() : nondet_volatilet
• nondet_volatile_rhs() : nondet_volatilet
• nondet_volatilet() : nondet_volatilet
• NONDETERMINISTIC : ieee_floatt
• nonrecursive : polynomial_acceleratort
• nonrecursive_destructor() : sharing_treet< derivedt, named_subtreest >
• nonterminal_set : enumerator_factoryt
• noop_value_comparatort() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::noop_value_comparatort
• nor : smt_bit_vector_theoryt
• normalization_shift() : float_approximationt , float_bvt , float_utilst
• normalize() : rationalt
• not_contains : string_axiomst , string_constraintst
• not_enough_arguments_regex : inlining_decoratort
• not_enough_arguments_set : inlining_decoratort
• not_equal() : constant_interval_exprt
• not_exprt() : not_exprt
• NOT_SOLVED : smt2_solvert
• note_functions_to_keep() : aggressive_slicert
• notequal_exprt() : notequal_exprt
• notes : smt2_convt
• NotFound : main_function_resultt
• 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_message_handlert() : null_message_handlert
• null_object : pointer_logict
• null_pointer_exprt() : null_pointer_exprt
• nullary_exprt() : nullary_exprt
• nullptr_exceptiont() : nullptr_exceptiont
• num : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• NUM : small_mapt< T, Ind, Num >
• num_bits() : small_mapt< T, Ind, Num > , small_shared_n_way_pointee_baset< N, 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 , trace_automatont
• num_steps : interpretert
• num_tdks : Parser
• 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 , irep_hash_container_baset , java_bytecode_parsert::pool_entryt
• Number : lispexprt
• number() : numberingt< keyt, hasht > , union_find< T, hasht >
• number_covered() : cover_goalst
• number_of_arrays : abstract_object_statisticst
• number_of_bits() : endianness_mapt
• 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_nodes() : mini_bdd_mgrt
• number_of_non_comments() : irept
• 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
• number_satisfied() : prop_minimizet
• number_type : numberingt< keyt, hasht > , union_find< T, hasht >
• numbered_pointers : bv_pointers_widet
• numbering : irep_hash_container_baset , partial_order_concurrencyt
• numbering_typet : union_find< T, hasht >
• numberingt : partial_order_concurrencyt
• numbers : union_find< T, hasht >
• numbers_ : numberingt< keyt, hasht >
• numerator : rationalt