Here is a list of all class members with links to the classes they belong to:
- n -
- n_symbols
: linkingt::adjust_type_infot
- naive
: event_grapht::graph_pensieve_explorert
- name()
: cpp_declaratort
, cpp_usingt
, is_name_equalt
, java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
, java_bytecode_parse_treet::methodt::local_variablet
, language_modulet
, symbolt
, temporary_filet
, xmlt
- name_anon_struct_union()
: cpp_declarationt
- name_map
: ansi_c_scopet
- name_mapt
: ansi_c_scopet
- named_sub
: irept::dt
- named_subt
: irept
- namespacet()
: namespacet
- namet()
: cpp_namet::namet
- NaN
: float_bvt::unpacked_floatt
, float_utilst::unpacked_floatt
, ieee_floatt
- nan_check()
: goto_checkt
- NaN_flag
: ieee_floatt
- native_tool_name
: as_modet
, gcc_modet
- natural_loops
: acceleratet
, havoc_loopst
, k_inductiont
- natural_loops_templatet()
: natural_loops_templatet< P, T >
- natural_loopt
: natural_loops_templatet< P, T >
- natural_typet()
: natural_typet
- nb_threads
: shared_bufferst
- ne_set
: invariant_sett
- needed_classes
: ci_lazy_methodst
- needed_methods
: ci_lazy_methodst
- 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
: change_impactt
- new_and_node()
: aigt
- new_block_scope()
: cpp_scopest
- new_change_impact
: change_impactt
- new_code
: goto_checkt
, goto_program_dereferencet
- NEW_CTRL_DEP
: change_impactt
- NEW_DATA_DEP
: change_impactt
- new_dep_graph
: change_impactt
- new_element()
: xmlt
- new_frame()
: goto_symex_statet
- new_functions
: goto_difft
- new_goto_functions
: change_impactt
, unified_difft
- 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_symbol
: linkingt::adjust_type_infot
- new_symbol_table
: bmct
, goto_symext
, value_set_dereferencet
- new_symbols
: var_mapt
- 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
: __CPROVER_jsa_abstract_node
, __CPROVER_jsa_concrete_node
, all_paths_enumeratort
, path_enumeratort
, printf_formattert
, sat_path_enumeratort
- next_avail
: __CPROVER_pipet
- next_in
: mz_stream_s
- next_loc()
: loc_reft
- next_operand
: printf_formattert
- next_out
: mz_stream_s
- next_PC
: interpretert
- next_pc()
: path_symex_statet
- next_representable()
: ieee_floatt
- next_symbol_id
: string_constraint_generatort
- next_unread
: __CPROVER_pipet
- nil
: acceleration_utilst
, loc_reft
, source_locationt
- nil_exprt()
: nil_exprt
- nil_target
: goto_program_templatet< codeT, guardT >::instructiont
- nil_typet()
: nil_typet
- nnf()
: invariant_sett
- no
: dstringt
- no_beautification()
: cbmc_solverst
- no_body()
: goto_symext
, symex_bmct
- no_body_set
: goto_inlinet
- no_body_sett
: goto_inlinet
- no_boolean_variables
: cvc_convt
, smt1_convt
, smt2_convt
- no_branches
: path_symex_statet
- NO_CAST
: java_bytecode_convert_methodt
- no_clauses()
: cnf_clause_listt
, cnf_solvert
, cnft
, dimacs_cnf_dumpt
, qbf_squolem_coret
, qbf_squolemt
- no_incremental_check()
: cbmc_solverst
- no_operands
: bv_refinementt::approximationt
- no_state
: trace_automatont
- no_thread_interleavings
: path_symex_statet
- no_variables()
: aig_prop_baset
, cnft
, cvc_propt
, dplib_propt
, prop_wrappert
, propt
, smt1_propt
, smt2_propt
- node
: mini_bddt
- node_id
: __CPROVER_jsa_iterator
, dep_graph_domaint
- node_indext
: dep_graph_domaint
, graph_nodet< E >
, grapht< N >
- node_map
: bdd_exprt
- node_mapt
: bdd_exprt
- node_name
: xml_graph_nodet
- node_nrt
: local_cfgt
- node_number
: mini_bdd_nodet
, mini_bddt
- node_required
: full_slicert::cfg_nodet
- node_type
: sharing_mapt< keyT, valueT, hashT, predT >
- nodes
: aigt
, grapht< N >
, local_cfgt
, mini_bdd_mgrt
, unsigned_union_find
- nodes_empty()
: cfg_baset< T, P, I >
, procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >
- nodest
: aigt
, grapht< N >
, local_cfgt
, mini_bdd_mgrt
- nodet
: aigt
, grapht< N >
, instrumentert::cfg_visitort
, natural_loops_templatet< P, T >
, unsigned_union_find::nodet
- NON_BRANCH
: path_symex_stept
- nondet_bool_symbol()
: memory_model_baset
- nondet_count
: goto_symext
, var_mapt
- nondet_flush()
: shared_bufferst
- NONDETERMINISTIC
: ieee_floatt
- nonrecursive
: polynomial_acceleratort
- nonrecursive_destructor()
: irept
- normalization_shift()
: float_approximationt
, float_bvt
, float_utilst
- normalize()
: rationalt
- not_contains_axioms
: string_refinementt
- not_exprt()
: not_exprt
- not_found_msg
: sharing_mapt< keyT, valueT, hashT, predT >
- NOT_REACHED
: path_searcht
- notequal_exprt()
: notequal_exprt
- notes
: smt2_convt
- nr_starts
: timert
- ns
: acceleratet
, acceleration_utilst
, base_type_eqt
, bdd_exprt
, bmct
, boolbv_mapt
, boolbv_widtht
, c_sizeoft
, c_typecastt
, cbmc_solverst
, code_contractst
, compilet
, cone_of_influencet
, const_function_pointer_propagationt
, decision_proceduret
, dependence_grapht
, dereferencet
, disjunctive_polynomial_accelerationt
, does_remove_constt
, dott
, dump_ct
, endianness_mapt
, expr2ct
, 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_bytecode_vtable_factoryt
, java_object_factoryt
, jsil_typecheckt
, languagest
, linkingt
, locst
, 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_virtual_functionst
, rw_range_sett
, rw_set_baset
, safety_checkert
, sat_path_enumeratort
, scratch_programt
, show_goto_functions_jsont
, show_goto_functions_xmlt
, simple_insertiont
, simplify_exprt
, static_analysis_baset
, static_analyzert
, string_abstractiont
, string_instrumentationt
, symbol_factoryt
, symex_coveraget
, symex_slice_by_tracet
, symex_target_equationt
, uninitializedt
, value_set_dereferencet
, var_mapt
, zero_initializert
- ns_collision
: expr2ct
- ns_new
: change_impactt
, unified_difft
- ns_old
: change_impactt
, unified_difft
- nta
: trace_automatont
- NULL_is_zero
: configt::ansi_ct
- null_json_object
: jsont
- null_object
: pointer_logict
- null_pointer_exprt()
: null_pointer_exprt
- nullptr_exceptiont()
: nullptr_exceptiont
- num
: sharing_mapt< keyT, valueT, hashT, predT >
- num_executions
: symex_coveraget::coverage_infot
- num_sccs
: instrumentert
- num_states
: automatont
, trace_automatont
- num_symbols
: acceleration_utilst
- num_tdks
: Parser
- number()
: hash_numbering< T, hash_fkt >
, irep_hash_container_baset
, java_bytecode_parsert::pool_entryt
- Number
: lispexprt
- number()
: numbering< T >
, union_find< T >
, var_mapt::var_infot
- number_covered()
: cover_goalst
- number_of_bits()
: endianness_mapt
- number_of_dropped_states
: path_searcht
- number_of_errors
: Parser
- number_of_failed_properties
: path_searcht
- number_of_feasible_paths
: path_searcht
- number_of_infeasible_paths
: path_searcht
- number_of_locs
: path_searcht
- number_of_nodes()
: aigt
, mini_bdd_mgrt
- number_of_paths
: path_searcht
- number_of_sections
: elf_readert
- number_of_steps
: path_searcht
- number_of_VCCs
: path_searcht
- number_of_VCCs_after_simplification
: path_searcht
- number_satisfied()
: prop_minimizet
- number_starts()
: timert
- number_type
: hash_numbering< T, hash_fkt >
, numbering< T >
- numbering
: irep_hash_container_baset
, partial_order_concurrencyt
- numberingt
: irep_hash_container_baset
, partial_order_concurrencyt
- numbers
: hash_numbering< T, hash_fkt >
, numbering< T >
- numberst
: hash_numbering< T, hash_fkt >
, numbering< T >
- numeral()
: smt2_parsert
, smt2irept
- numerator
: rationalt