Here is a list of all functions with links to the classes they belong to:
- n -
- name() : irept, module, preprocessor.check_type_lowering._Lowering, python_class
- name_key() : preprocessor.function_value_types._Analysis
- name_param_and_continue() : clang_c_convertert, clang_cpp_convertert
- name_record() : renaming::level1t::name_record, renaming::level2t::name_record
- name_shadows_module() : python_converter
- name_space() : python_converter
- named_callee_type() : python_converter
- named_object() : goto_symext
- named_return_type() : python_converter
- names_bound_in() : preprocessor.class_context_mixin.ClassContextMixin
- namespacet() : namespacet
- NaN() : ieee_floatt
- nan_check() : goto_checkt
- narrowed_parameter_types() : python_lambda
- nearbyint2t() : nearbyint2t
- need_new_object() : clang_cpp_convertert
- need_vptr_init() : irept
- negate() : BigInt, bitblast_convt, exprt, fixedbvt, ieee_floatt
- negating_asserts() : goto_coveraget
- negation() : literalt
- neurosym_convt() : neurosym_convt
- new_array_id() : array_convt
- new_ast() : array_convt, bitblast_convt
- new_cftest_symbol() : goto_convertt
- new_element() : xmlt
- new_frame() : goto_symex_statet
- new_language() : clang_c_languaget, clang_cpp_languaget, jimple_languaget, languaget, ld_languaget, python_languaget, solidity_languaget
- new_name() : goto_convertt
- new_object2t() : new_object2t
- new_solver_ast() : smt_solver_baset
- new_symbol() : symbol_generator
- new_tmp_symbol() : goto_convertt
- new_value() : with_exprt
- new_variable() : minisat_convt, sat_iface
- next() : printf_formattert
- next_representable() : ieee_floatt
- nil_exprt() : nil_exprt
- nodet() : nodet, unsigned_union_find::nodet
- nondet_str_buffer_size() : string_handler
- nontrivial_destructor() : clang_cpp_convertert
- normalize_numeric_expr() : complex_handler
- north_pole() : wrapped_interval
- not2t() : not2t
- not_callable_function() : python_converter
- not_eof() : std::char_traits< charT >
- not_equal() : interval_templatet< T >, wrapped_interval
- not_exprt() : not_exprt
- note_assignment() : smt_convt, smt_solver_baset
- note_bounded_loop_truncation() : execution_statet, goto_symext, schedule_execution_statet
- note_division_operands() : smt_convt, smt_solver_baset
- note_elements_populated() : smt_tuple_node_flattener
- note_incomplete() : property_verdict_tablet
- note_pointer_write() : goto_loopst
- nsplit() : wrapped_interval
- number() : hash_numbering< T, hash_fkt >, numbering< T >, union_find< T >
- numbering() : numbering< T >
- numeric_element_type() : element_type_registry
- numpy_call_expr() : numpy_call_expr
- numpy_nditer() : numpy_nditer
- numpy_random() : numpy_random