- n -
- N_BITS
: small_mapt< T, Ind, Num >
- n_symbols
: linkingt::adjust_type_infot
- naive
: event_grapht::graph_pensieve_explorert
- name
: java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
, java_bytecode_parse_treet::methodt::local_variablet
, language_modulet
, symbolt
, temporary_filet
, xmlt
- name_and_type_index
: base_ref_infot
- name_index
: class_infot
, name_and_type_infot
- name_map
: ansi_c_scopet
- name_snippets
: aggressive_slicert
- named_sub
: irept::dt
- NaN
: float_bvt::unpacked_floatt
, float_utilst::unpacked_floatt
- NaN_flag
: ieee_floatt
- native_tool_name
: as_modet
, gcc_modet
, ld_modet
- natural_loops
: acceleratet
, havoc_loopst
, k_inductiont
- nb_threads
: shared_bufferst
- ne_set
: invariant_sett
- needed_lazy_methods
: java_bytecode_convert_methodt
- new_change_impact
: change_impactt
- new_code
: goto_checkt
, goto_program_dereferencet
- new_dep_graph
: change_impactt
- new_functions
: goto_difft
- new_goto_functions
: change_impactt
, unified_difft
- new_method_seen
: ci_lazy_methodst::convert_method_resultt
- new_symbol
: linkingt::adjust_type_infot
- new_symbol_table
: value_set_dereferencet
- next
: __CPROVER_jsa_abstract_node
, __CPROVER_jsa_concrete_node
- next_avail
: __CPROVER_pipet
- next_in
: mz_stream_s
- next_operand
: printf_formattert
- next_out
: mz_stream_s
- next_pc
: interpretert
- next_unread
: __CPROVER_pipet
- nil
: acceleration_utilst
- nil_target
: goto_programt::instructiont
- no
: dstringt
- no_body_set
: goto_inlinet
- no_boolean_variables
: smt2_convt
- no_load_classes
: java_bytecode_convert_classt
, java_bytecode_languaget
- no_operands
: bv_refinementt::approximationt
- no_state
: automatont
- node
: mini_bddt
- node_id
: __CPROVER_jsa_iterator
, dep_graph_domaint
- node_index
: reachability_slicert::search_stack_entryt
- node_index_pool
: string_dependenciest
- node_map
: bdd_exprt
- node_name
: xml_graph_nodet
- node_number
: mini_bdd_nodet
- node_required
: full_slicert::cfg_nodet
- nodes
: call_grapht
, grapht< N >
, local_cfgt
, mini_bdd_mgrt
, unsigned_union_find
- nodes_by_name
: call_grapht::directed_grapht
, class_hierarchy_grapht
- non_null_assignments
: require_goto_statements::pointer_assignment_locationt
- non_null_expressions
: local_safe_pointerst
- nondet_count
: goto_symext
- nonrecursive
: polynomial_acceleratort
- noreturn_cnt
: cpp_convert_typet
- not_contains
: string_axiomst
- not_contains_constraints
: string_constraint_generatort
- not_found_msg
: sharing_mapt< keyT, valueT, hashT, equalT >
- notes
: smt2_convt
- npos
: interpretert
- ns
: acceleratet
, acceleration_utilst
, base_type_eqt
, bdd_exprt
, bmct
, boolbv_mapt
, boolbv_widtht
, bv_refinementt::infot
, c_typecastt
, cbmc_solverst
, code_contractst
, compilet
, cone_of_influencet
, conversion_dependenciest
, cover_instrumenter_baset
, decision_proceduret
, dependence_grapht
, dereferencet
, disjunctive_polynomial_accelerationt
, does_remove_constt
, dump_ct
, endianness_mapt
, expr2ct
, expr_initializert< nondet >
, flow_insensitive_analysis_baset
, goto_checkt
, goto_convertt
, goto_inlinet
, goto_program2codet
, goto_program_dereferencet
, goto_symext
, graphml_witnesst
, instrumentert::cfg_visitort
, instrumentert
, interpretert
, inv_object_storet
, invariant_propagationt
, invariant_sett
, java_bytecode_typecheckt
, java_object_factoryt
, java_qualifierst
, jsil_typecheckt
, linkingt
, local_safe_pointerst::base_type_comparet
, local_safe_pointerst
, member_offset_iterator
, overflow_instrumentert
, partial_order_concurrencyt
, pointer_logict
, polynomial_acceleratort
, postconditiont
, preconditiont
, printf_formattert
, reaching_definitions_analysist
, remove_const_function_pointerst
, remove_function_pointerst
, remove_instanceoft
, remove_java_newt
, remove_virtual_functionst
, rw_range_sett
, rw_set_baset
, rw_set_functiont
, safety_checkert
, sat_path_enumeratort
, scratch_programt
, show_goto_functions_jsont
, show_goto_functions_xmlt
, simplify_exprt
, static_analysis_baset
, string_abstractiont
, string_constraint_generatort
, string_instrumentationt
, symbol_factoryt
, symex_coveraget
, symex_slice_by_tracet
, uninitializedt
, value_set_dereferencet
- ns_collision
: expr2ct
- ns_new
: change_impactt
, unified_difft
- ns_old
: change_impactt
, unified_difft
- nta
: trace_automatont
- null_assignment
: require_goto_statements::pointer_assignment_locationt
- NULL_is_zero
: configt::ansi_ct
- null_json_object
: jsont
- null_object
: pointer_logict
- num
: sharing_mapt< keyT, valueT, hashT, equalT >
- NUM
: small_mapt< T, Ind, Num >
- num_dynamic_objects
: interpretert
- num_executions
: symex_coveraget::coverage_infot
- num_leafs
: sharing_mapt< keyT, valueT, hashT, equalT >::sharing_map_statst
- num_nodes
: sharing_mapt< keyT, valueT, hashT, equalT >::sharing_map_statst
- num_sccs
: instrumentert
- num_states
: automatont
- num_steps
: interpretert
- num_symbols
: acceleration_utilst
- num_unique_leafs
: sharing_mapt< keyT, valueT, hashT, equalT >::sharing_map_statst
- num_unique_nodes
: sharing_mapt< keyT, valueT, hashT, equalT >::sharing_map_statst
- number
: irep_hash_container_baset::irep_entryt
, java_bytecode_parsert::pool_entryt
- number_of_errors
: Parser
- number_of_sections
: elf_readert
- numbering
: irep_hash_container_baset
, partial_order_concurrencyt
- numbers
: union_find< T >
- numbers_
: template_numberingt< Map >
- numerator
: rationalt