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

- n -

• name() : cpp_declaratort, cpp_usingt, 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
• name_and_type_infot() : name_and_type_infot
• name_anon_struct_union() : cpp_declarationt
• named_term_exprt() : named_term_exprt
• named_termt() : smt2_parsert::named_termt
• namespacet() : namespacet
• namet() : cpp_namet::namet
• NaN() : ieee_float_valuet
• nan_check() : goto_check_ct
• nand_exprt() : nand_exprt
• natural_loops_templatet() : natural_loops_templatet< P, T, C >
• natural_typet() : natural_typet
• needs_cleaning() : goto_convertt
• needs_freeing() : recursive_initializationt
• needs_preprocessing() : gcc_modet
• needs_renaming() : linkingt
• needs_renaming_non_type() : linkingt
• needs_renaming_type() : linkingt
• negate() : bv_arithmetict, bv_utilst, fixedbvt, float_utilst, ieee_float_valuet
• negate_no_overflow() : bv_utilst
• negation() : float_bvt, string_constraintt
• nesting_stack_entryt() : statement_list_typecheckt::nesting_stack_entryt
• networkt() : statement_list_parse_treet::networkt
• new_block_scope() : cpp_scopest
• new_element() : xmlt
• new_frame() : call_stackt
• 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_namespace() : cpp_scopest
• new_scope() : ansi_c_parsert, cpp_scopest, cpp_scopet
• new_scopet() : new_scopet
• 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() : all_paths_enumeratort, path_enumeratort, printf_formattert, sat_path_enumeratort
• next_element() : interval_index_ranget
• 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_unused_suffix() : journalling_symbol_tablet, symbol_table_baset, symbol_table_buildert
• nfat() : nfat< T >
• nil() : source_locationt
• nil_exprt() : nil_exprt
• nnf() : invariant_sett
• no_beautification() : solver_factoryt
• 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_unique_unimplemented_method_exceptiont() : no_unique_unimplemented_method_exceptiont
• no_variables() : cnft, propt
• node() : axiomst
• node_at() : string_dependenciest
• node_number() : mini_bddt
• 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 >
• nodet() : string_dependenciest::nodet, unsigned_union_find::nodet
• non_leaf_enumeratort() : non_leaf_enumeratort
• non_sharing_treet() : non_sharing_treet< derivedt, named_subtreest >
• nondet_bool_symbol() : memory_model_baset
• nondet_flush() : shared_bufferst
• nondet_instruction_infot() : nondet_instruction_infot
• nondet_padding_exprt() : nondet_padding_exprt
• nondet_symbol_exprt() : nondet_symbol_exprt
• nondet_volatile() : nondet_volatilet
• nondet_volatile_lhs() : nondet_volatilet
• nondet_volatile_rhs() : nondet_volatilet
• nondet_volatilet() : nondet_volatilet
• nonrecursive_destructor() : sharing_treet< derivedt, named_subtreest >
• noop_value_comparatort() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::noop_value_comparatort
• nor_exprt() : nor_exprt
• normalization_shift() : float_approximationt, float_bvt, float_utilst
• normalize() : rationalt
• not_equal() : constant_interval_exprt
• not_exprt() : not_exprt
• note_functions_to_keep() : aggressive_slicert
• notequal_exprt() : notequal_exprt
• null_message_handlert() : null_message_handlert
• null_pointer_exprt() : null_pointer_exprt
• nullary_exprt() : nullary_exprt
• nullptr_exceptiont() : nullptr_exceptiont
• num_bits() : small_mapt< T, Ind, Num >, small_shared_n_way_pointee_baset< N, Num >
• num_states() : trace_automatont
• number() : irep_hash_container_baset, numberingt< keyt, hasht >, union_find< T, hasht >
• number_covered() : cover_goalst
• number_of_bits() : endianness_mapt
• number_of_nodes() : mini_bdd_mgrt
• number_of_non_comments() : irept
• number_satisfied() : prop_minimizet