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

- n -

• n : cudnnfilterdesc, cudnntensordesc
• name : adjust_arm< Pass >, cbmc_functiont, cbmc_symbolt, clang_c_adjust_irep2::arm_info, cpp_name_type2t, cudaDeviceProp, dataclasses.Field, enum.Enum, exceptions.ImportError, exceptions.ModuleNotFoundError, fallible_call_t, FBVarDecl, goto_symext::allocated_obj, irept, jimple_class_field, jimple_declaration, jimple_method, jimple_type, local_var, module, nested_func, NetworkNode, preprocessor.bound_method_dispatch._Dispatch, preprocessor.check_type_lowering._Lowering, preprocessor.class_context_mixin.ClassContextMixin, python_class, python_param_annotations::module_ast, solidity_convertert::func_sig, struct_type2t, symbolt, transition_systemt::statet, tuple_node_smt_ast, tuple_sym_smt_ast, union_type2t, VarDecl, xmlt
• name_ : class_definition, function
• 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
• named_sub : irept::dt
• named_subt : irept
• names : parser.nested_class_imports._QualifyImportedNestedClasses, preprocessor.bound_method_values._Reads, preprocessor.function_value_types._Scope, preprocessor.match_lowering._ReadSubject
• names_bound_by : preprocessor.bound_method_dispatch._Rebound
• names_bound_in() : preprocessor.class_context_mixin.ClassContextMixin
• namespacet() : namespacet
• NaN() : ieee_floatt
• nan_check() : goto_checkt
• NaN_flag : ieee_floatt
• nanosecond : time
• narrowed_parameter_types() : python_lambda
• native_type : default_value_traits, float_traits_base< T, MantissaDigits, DecimalDigits >, integer_traits_base< T >, native_value_traits< T, NodeType >, signed_integer_traits< T >, string_traits< T >
• nearbyint2t() : nearbyint2t
• need_new_object() : clang_cpp_convertert
• need_vptr_init() : irept
• needle : string_method_dispatch::search_args_parsedt
• neg : literalt
• negate() : BigInt, bitblast_convt, exprt, fixedbvt, ieee_floatt
• negated : GNode
• negating_asserts() : goto_coveraget
• negation() : literalt
• nested_names : scope_walker
• networks : LdAst
• neurosym_convt() : neurosym_convt
• new : preprocessor.loop_mixin.LoopMixin
• new_array_id() : array_convt
• new_ast() : array_convt, bitblast_convt
• new_cftest_symbol() : goto_convertt
• new_code : goto_checkt, goto_program_dereferencet
• new_context : goto_symext
• new_element() : xmlt
• new_frame() : goto_symex_statet
• new_language() : clang_c_languaget, clang_cpp_languaget, jimple_languaget, languaget, ld_languaget, mode_table_et, python_languaget, solidity_languaget
• new_name() : goto_convertt, preprocessor.ast_utils_mixin.AstUtilsMixin
• new_object2t() : new_object2t
• new_scope : preprocessor.generator_mixin._GeneratorConsumerScan
• 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
• newContractSet : solidity_convertert
• newtype_names : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• newtype_vars : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• next : _ESBMC_Mapping, _ESBMC_Mapping_fast, printf_formattert
• next_id : preprocessor.bound_method_dispatch._Dispatch
• next_obj_num : hash_numbering< T, hash_fkt >, numbering< T >
• next_operand : printf_formattert
• next_representable() : ieee_floatt
• next_thread_id : reachability_treet
• nil_exprt() : nil_exprt
• no_assertions : goto_symext
• no_body_set : goto_inlinet
• no_body_sett : goto_inlinet
• NO_ENDIANESS : configt::ansi_ct
• no_propagation : execution_statet, goto_symex_statet
• no_reachable_memleak : goto_symext
• no_return_value_opt : goto_symext
• no_simplify : c_typecastt, goto_symext
• no_slice_ids : configt
• no_slice_names : configt
• no_type : exception_typeidt
• no_unwinding_assertions : goto_symext
• node : preprocessor.function_value_types._Scope
• node_count : cmath_lowering_policy::expr_cost, execution_statet
• node_id : andersent, execution_statet, renaming::level2t::valuet
• node_num : symbol2t
• node_to_expr : andersent
• nodes : LdIRRung, preprocessor.path_dependent_attributes._Uses, unsigned_union_find
• nodet() : nodet, unsigned_union_find::nodet
• noexcept : time_offset
• nonContractNamesList : solidity_convertert
• nondet_bool_expr : solidity_convertert
• nondet_bytes_dynamic_expr : solidity_convertert
• nondet_count : execution_statet
• nondet_inputs : bmct::witness_recordt
• nondet_object_name : andersent
• nondet_reads : goto_trace_stept
• nondet_str_buffer_size() : string_handler
• nondet_uint_expr : solidity_convertert
• NONDETERMINISTIC : ieee_floatt
• NONE : PyConstValue
• nonscope_depth : scope_walker
• nontrivial_destructor() : clang_cpp_convertert
• normalize_numeric_expr() : complex_handler
• north_pole() : wrapped_interval
• not2t() : not2t
• not_callable_function() : python_converter
• not_checked : property_countst
• not_eof() : std::char_traits< charT >
• not_equal() : interval_templatet< T >, wrapped_interval
• not_exprt() : not_exprt
• NOT_FOUND : CspMap
• note : property_resultt, property_rowt
• 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
• notequal : exprt
• ns : base_type_eqt, bmct, c_expr2stringt, c_typecastt, claim_slicer, clang_c_adjust, clang_c_adjust_irep2, clang_c_convertert, goto2ct, goto_checkt, goto_convertt, goto_coveraget, goto_inlinet, goto_program_dereferencet, goto_symex_statet, goto_symext, language_uit, python_adjust, reachability_treet, renaming::level1t, rw_sett, smt_solver_baset, smt_tuple_node_flattener, smt_tuple_sym_flattener, solidity_convertert, static_analysis_baset, symex_target_equationt, ts_enginet, value_sett
• ns_collision : c_expr2stringt
• nsplit() : wrapped_interval
• null_object : pointer_logict
• null_ptr_ast : smt_solver_baset
• num_arrays_history : array_convt
• num_instructions : goto_symex_statet::merge_statet, goto_symex_statet
• number() : hash_numbering< T, hash_fkt >, numbering< T >, union_find< T >
• numbering() : numbering< T >
• numbers : hash_numbering< T, hash_fkt >, numbering< T >
• numberst : hash_numbering< T, hash_fkt >, numbering< T >
• numeric_element_type() : element_type_registry
• numpy_call_expr() : numpy_call_expr, python_converter
• numpy_constructor_names : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• numpy_module_names : preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• numpy_nditer() : numpy_nditer, python_converter
• numpy_random() : numpy_random, python_converter