- 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_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
- namespacet()
: namespacet
- namet()
: cpp_namet::namet
- NaN()
: ieee_floatt
- nan_check()
: goto_checkt
- natural_loops_templatet()
: natural_loops_templatet< P, T >
- natural_typet()
: natural_typet
- needs_cleaning()
: goto_convertt
- 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
- new_block_scope()
: cpp_scopest
- new_element()
: xmlt
- new_frame()
: goto_symex_statet
- new_instruction()
: assembler_parsert
- new_language()
: ansi_c_languaget
, cpp_languaget
, java_bytecode_languaget
, jsil_languaget
, 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()
: code_contractst
, goto_convertt
- new_value()
: update_exprt
, with_exprt
- new_variable()
: cnft
, propt
, qbf_bdd_certificatet
, qbf_bdd_coret
- new_variables()
: propt
- next()
: all_paths_enumeratort
, path_enumeratort
, printf_formattert
, sat_path_enumeratort
- next_representable()
: ieee_floatt
- next_sibling_or_parent()
: depth_iterator_baset< depth_iterator_t >
- next_token()
: smt2_tokenizert
- nil()
: source_locationt
- nil_exprt()
: nil_exprt
- nil_typet()
: nil_typet
- nnf()
: invariant_sett
- no_beautification()
: cbmc_solverst
- no_body()
: goto_symext
, symex_bmct
- 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()
: cbmc_solverst
- no_variables()
: cnft
, propt
- 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, unsigned >
- nodet()
: string_dependenciest::nodet
, unsigned_union_find::nodet
- non_byte_alignedt()
: non_byte_alignedt
- non_const_array_sizet()
: non_const_array_sizet
- non_const_byte_extraction_sizet()
: non_const_byte_extraction_sizet
- non_constant_widtht()
: non_constant_widtht
- nondet_bool_symbol()
: memory_model_baset
- nondet_flush()
: shared_bufferst
- nondet_instruction_infot()
: nondet_instruction_infot
- nondet_symbol_exprt()
: nondet_symbol_exprt
- nonrecursive_destructor()
: irept
- normalization_shift()
: float_approximationt
, float_bvt
, float_utilst
- normalize()
: rationalt
- not_exprt()
: not_exprt
- note_functions_to_keep()
: aggressive_slicert
- notequal_exprt()
: notequal_exprt
- null_pointer_exprt()
: null_pointer_exprt
- nullptr_exceptiont()
: nullptr_exceptiont
- num_states()
: trace_automatont
- number()
: irep_hash_container_baset
, template_numberingt< Map >
, union_find< T >
- number_covered()
: cover_goalst
- number_of_bits()
: endianness_mapt
- number_of_nodes()
: mini_bdd_mgrt
- number_satisfied()
: prop_minimizet