- n -
- name()
: cpp_declaratort
, cpp_usingt
- 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
, exprt
, fixedbvt
, float_utilst
, ieee_floatt
- negate_no_overflow()
: bv_utilst
- negation()
: float_bvt
- new_and_node()
: aigt
- 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_name()
: goto_convertt
, goto_symext
- new_namespace()
: cpp_scopest
- new_node()
: aigt
- 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_var_node()
: aigt
- new_variable()
: aig_prop_baset
, cnft
, cvc_propt
, dplib_propt
, prop_wrappert
, propt
, qbf_bdd_certificatet
, qbf_bdd_coret
, smt1_propt
, smt2_propt
- new_variables()
: propt
- next()
: all_paths_enumeratort
, path_enumeratort
, printf_formattert
, sat_path_enumeratort
- next_loc()
: loc_reft
- next_pc()
: path_symex_statet
- next_representable()
: ieee_floatt
- nil()
: loc_reft
, 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_incremental_check()
: cbmc_solverst
- no_variables()
: aig_prop_baset
, cnft
, cvc_propt
, dplib_propt
, prop_wrappert
, propt
, smt1_propt
, smt2_propt
- 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()
: unsigned_union_find::nodet
- nondet_bool_symbol()
: memory_model_baset
- nondet_flush()
: shared_bufferst
- nonrecursive_destructor()
: irept
- normalization_shift()
: float_approximationt
, float_bvt
, float_utilst
- normalize()
: rationalt
- not_exprt()
: not_exprt
- notequal_exprt()
: notequal_exprt
- null_pointer_exprt()
: null_pointer_exprt
- nullptr_exceptiont()
: nullptr_exceptiont
- num_states()
: trace_automatont
- number()
: hash_numbering< T, hash_fkt >
, irep_hash_container_baset
, numbering< T >
, union_find< T >
- number_covered()
: cover_goalst
- number_of_bits()
: endianness_mapt
- number_of_nodes()
: aigt
, mini_bdd_mgrt
- number_satisfied()
: prop_minimizet
- number_starts()
: timert
- numeral()
: smt2_parsert
, smt2irept