- 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_floatt
• nan_check() : goto_check_ct
• 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_floatt
• 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_floatt
• 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
• 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