Here is a list of all class members 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() : 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, output_filet, 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_float_valuet
• nan_check() : goto_check_ct
• NaN_flag : ieee_float_valuet
• nand : smt_bit_vector_theoryt
• nand_exprt() : nand_exprt
• native_tool_name : as_modet, gcc_modet, ld_modet
• NATURAL : c_typecastt
• 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_float_valuet, 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
• newly_allocated : get_or_create_reference_resultt
• 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_operand : printf_formattert
• next_pc : interpretert
• next_representable() : ieee_float_valuet
• 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
• nor_exprt() : nor_exprt
• 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 : small_mapt< T, Ind, Num >
• num : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• 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 : lispexprt
• number : irep_hash_container_baset::irep_entryt, irep_hash_container_baset, java_bytecode_parsert::pool_entryt, numberingt< keyt, hasht >, union_find< T, hasht >
• number_covered() : cover_goalst
• number_of_arrays : abstract_object_statisticst
• number_of_bits() : endianness_mapt
• number_of_cases() : case_exprt
• 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