Here is a list of all class members with links to the classes they belong to:
- n -
- N_BITS
: small_mapt< T, Ind, Num >
- n_symbols
: linkingt::adjust_type_infot
- naive
: event_grapht::graph_pensieve_explorert
- name()
: cpp_declaratort
, cpp_usingt
, java_bytecode_parse_treet::classt
, java_bytecode_parse_treet::membert
, java_bytecode_parse_treet::methodt::local_variablet
, language_modulet
, string_builtin_function_with_no_evalt
, string_builtin_functiont
, string_concat_char_builtin_functiont
, string_concatenation_builtin_functiont
, string_insertion_builtin_functiont
, symbolt
, temporary_filet
, xmlt
- name_and_type_index
: base_ref_infot
- name_and_type_infot()
: name_and_type_infot
- name_anon_struct_union()
: cpp_declarationt
- name_index
: class_infot
, name_and_type_infot
- 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
, ld_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_lazy_methods
: java_bytecode_convert_methodt
- 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
, fixedbvt
, float_utilst
, ieee_floatt
- negate_no_overflow()
: bv_utilst
- negation()
: float_bvt
, string_constraintt
- 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_method_seen
: ci_lazy_methodst::convert_method_resultt
- 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
: value_set_dereferencet
- 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
, propt
, qbf_bdd_certificatet
, qbf_bdd_coret
- 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_operand
: printf_formattert
- next_out
: mz_stream_s
- next_pc
: interpretert
- next_representable()
: ieee_floatt
- next_sibling_or_parent()
: depth_iterator_baset< depth_iterator_t >
- next_token()
: smt2_tokenizert
- next_unread
: __CPROVER_pipet
- nil
: acceleration_utilst
, source_locationt
- nil_exprt()
: nil_exprt
- nil_target
: goto_programt::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
: smt2_convt
- NO_CAST
: java_bytecode_convert_methodt
- no_clauses()
: cnf_clause_listt
, cnf_solvert
, cnft
, dimacs_cnf_dumpt
, qbf_squolem_coret
, qbf_squolemt
- no_decl_found_exceptiont()
: require_goto_statements::no_decl_found_exceptiont
- no_incremental_check()
: cbmc_solverst
- no_load_classes
: java_bytecode_convert_classt
, java_bytecode_languaget
- no_operands
: bv_refinementt::approximationt
- no_state
: automatont
- no_variables()
: aig_prop_baset
, cnft
, propt
- node
: mini_bddt
- node_at()
: string_dependenciest
- node_id
: __CPROVER_jsa_iterator
, dep_graph_domaint
- node_index
: reachability_slicert::search_stack_entryt
- node_index_pool
: string_dependenciest
- node_indext
: dep_graph_domaint
, function_indicest
, 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
- nodes
: aigt
, call_grapht
, grapht< N >
, local_cfgt
, mini_bdd_mgrt
, unsigned_union_find
- nodes_by_name
: call_grapht::directed_grapht
, class_hierarchy_grapht
- nodes_by_namet
: call_grapht::directed_grapht
, class_hierarchy_grapht
- nodes_empty()
: cfg_baset< T, P, I >
, procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, unsigned >
- nodest
: aigt
, call_grapht
, grapht< N >
, local_cfgt
, mini_bdd_mgrt
- nodet
: aigt
, grapht< N >
, instrumentert::cfg_visitort
, natural_loops_templatet< P, T >
, string_dependenciest::nodet
, unsigned_union_find::nodet
- non_byte_alignedt()
: non_byte_alignedt
- non_const_array_sizet()
: non_const_array_sizet
- non_const_byte_extraction_sizet()
: non_const_byte_extraction_sizet
- non_constant_widtht()
: non_constant_widtht
- non_null_assignments
: require_goto_statements::pointer_assignment_locationt
- nondet_bool_symbol()
: memory_model_baset
- nondet_count
: goto_symext
- nondet_flush()
: shared_bufferst
- nondet_instruction_infot()
: nondet_instruction_infot
- nondet_symbol_exprt()
: nondet_symbol_exprt
- NONDETERMINISTIC
: ieee_floatt
- nonrecursive
: polynomial_acceleratort
- nonrecursive_destructor()
: irept
- noreturn_cnt
: cpp_convert_typet
- normalization_shift()
: float_approximationt
, float_bvt
, float_utilst
- normalize()
: rationalt
- not_contains
: string_axiomst
- not_contains_constraints
: string_constraint_generatort
- not_exprt()
: not_exprt
- not_found_msg
: sharing_mapt< keyT, valueT, hashT, equalT >
- notequal_exprt()
: notequal_exprt
- notes
: smt2_convt
- NotFound
: main_function_resultt
- 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
, 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
- null_pointer_exprt()
: null_pointer_exprt
- nullptr_exceptiont()
: nullptr_exceptiont
- num
: sharing_mapt< keyT, valueT, hashT, equalT >
- NUM
: small_mapt< T, Ind, Num >
- num_dynamic_objects
: interpretert
- num_executions
: symex_coveraget::coverage_infot
- num_sccs
: instrumentert
- num_states
: automatont
, trace_automatont
- num_steps
: interpretert
- num_symbols
: acceleration_utilst
- num_tdks
: Parser
- number
: irep_hash_container_baset::irep_entryt
, irep_hash_container_baset
, java_bytecode_parsert::pool_entryt
- Number
: lispexprt
- number()
: template_numberingt< Map >
, union_find< T >
- number_covered()
: cover_goalst
- number_of_bits()
: endianness_mapt
- number_of_errors
: Parser
- number_of_nodes()
: aigt
, mini_bdd_mgrt
- number_of_sections
: elf_readert
- number_satisfied()
: prop_minimizet
- number_type
: template_numberingt< Map >
, union_find< T >
- numbering
: irep_hash_container_baset
, partial_order_concurrencyt
- numbering_typet
: union_find< T >
- numberingt
: irep_hash_container_baset
, partial_order_concurrencyt
- numbers
: union_find< T >
- numbers_
: template_numberingt< Map >
- numerator
: rationalt