Here is a list of all variables 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, jimple_class_field, jimple_declaration, jimple_method, jimple_type, local_var, nested_func, NetworkNode, preprocessor.bound_method_dispatch._Dispatch, preprocessor.class_context_mixin.ClassContextMixin, 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
• named_sub : irept::dt
• 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
• NaN_flag : ieee_floatt
• nanosecond : time
• needle : string_method_dispatch::search_args_parsedt
• negated : GNode
• nested_names : scope_walker
• networks : LdAst
• new : preprocessor.loop_mixin.LoopMixin
• new_code : goto_checkt, goto_program_dereferencet
• new_context : goto_symext
• new_language : mode_table_et
• new_name : preprocessor.ast_utils_mixin.AstUtilsMixin
• new_scope : preprocessor.generator_mixin._GeneratorConsumerScan
• 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
• next_id : preprocessor.bound_method_dispatch._Dispatch
• next_obj_num : hash_numbering< T, hash_fkt >, numbering< T >
• next_operand : printf_formattert
• next_thread_id : reachability_treet
• no_assertions : goto_symext
• no_body_set : goto_inlinet
• 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 : execution_statet, renaming::level2t::valuet
• node_num : symbol2t
• node_to_expr : andersent
• nodes : LdIRRung, preprocessor.path_dependent_attributes._Uses, unsigned_union_find
• 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_uint_expr : solidity_convertert
• nonscope_depth : scope_walker
• not_checked : property_countst
• NOT_FOUND : CspMap
• note : property_resultt, property_rowt
• 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
• 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
• numbers : hash_numbering< T, hash_fkt >, numbering< T >
• numpy_constructor_names : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• numpy_module_names : preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin