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

- n -

n_architectures : fat_header_prefixt
N_BITS : small_mapt< T, Ind, Num >
n_symbols : linkingt::adjust_type_infot
n_values_set : dense_integer_mapt< K, V, KeyToDenseInteger >
naive : event_grapht::graph_pensieve_explorert
name() : cpp_declaratort, cpp_usingt, gdb_value_extractort::memory_scopet, java_bytecode_parse_treet::classt, java_bytecode_parse_treet::membert, java_bytecode_parse_treet::methodt::local_variablet, language_modulet, osx_mach_o_readert::sectiont, smt2_parsert::named_termt, statement_list_parse_treet::tia_modulet, string_builtin_function_with_no_evalt, string_builtin_functiont, string_concat_char_builtin_functiont, string_concatenation_builtin_functiont, string_format_builtin_functiont, string_insertion_builtin_functiont, string_of_int_builtin_functiont, string_set_char_builtin_functiont, string_to_lower_case_builtin_functiont, string_to_upper_case_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_index_mapt : path_storaget
name_map : ansi_c_scopet
name_mapt : ansi_c_scopet
name_prefix : allocate_objectst
name_snippets : aggressive_slicert
name_to_flag : goto_check_ct
named_check_statust : goto_check_ct
named_sub : tree_nodet< treet, named_subtreest, sharing >
named_subt : non_sharing_treet< derivedt, named_subtreest >, sharing_treet< derivedt, named_subtreest >, tree_nodet< treet, named_subtreest, sharing >
named_term_exprt() : named_term_exprt
named_terms : smt2_parsert
named_termst : smt2_parsert
named_termt() : smt2_parsert::named_termt
namespacet() : namespacet
namet() : cpp_namet::namet
NaN : float_bvt::unpacked_floatt, float_utilst::unpacked_floatt, ieee_float_valuet
nan_check() : goto_check_ct
NaN_flag : ieee_float_valuet
nand : smt_bit_vector_theoryt
nand_exprt() : nand_exprt
native_tool_name : as_modet, gcc_modet, ld_modet
natural_loops : acceleratet, havoc_loopst, k_inductiont
natural_loops_templatet() : natural_loops_templatet< P, T, C >
natural_loopt : natural_loops_templatet< P, T, C >
natural_typet() : natural_typet
nb_threads : shared_bufferst
ne_set : invariant_sett
needed_lazy_methods : java_bytecode_convert_methodt, object_creation_infot
needs_cleaning() : goto_convertt
needs_freeing() : recursive_initializationt
needs_preprocessing() : gcc_modet
needs_renaming() : linkingt
needs_renaming_non_type() : linkingt
needs_renaming_type() : linkingt
neg_guards : enumerative_loop_contracts_synthesizert
negate() : bv_arithmetict, bv_utilst, fixedbvt, float_utilst, ieee_float_valuet, smt_bit_vector_theoryt
negate_no_overflow() : bv_utilst
negation() : float_bvt, string_constraintt
nesting_depth : statement_list_typecheckt::stl_jump_locationt, statement_list_typecheckt::stl_label_locationt
nesting_stack : statement_list_typecheckt
nesting_stack_entryt() : statement_list_typecheckt::nesting_stack_entryt
nesting_stackt : statement_list_typecheckt
networks : statement_list_parse_treet::tia_modulet
networkst : statement_list_parse_treet
networkt() : statement_list_parse_treet::networkt
NEW : change_impactt
new_block_scope() : cpp_scopest
new_change_impact : change_impactt
new_code : goto_check_ct, goto_program_dereferencet
NEW_CTRL_DEP : change_impactt
NEW_DATA_DEP : change_impactt
new_dep_graph : change_impactt
new_element() : xmlt
new_frame() : call_stackt
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, json_symtab_languaget, languaget, statement_list_languaget
new_level() : xml_parsert
new_method_seen : ci_lazy_methodst::convert_method_resultt
new_namespace() : cpp_scopest
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() : goto_convertt
new_value() : update_bit_exprt, update_bits_exprt, update_exprt, update_state_exprt, with_exprt
new_variable() : cnft, propt, qbf_bdd_certificatet, qbf_bdd_coret
new_variables() : cnft, propt
newly_allocated : get_or_create_reference_resultt
next : __CPROVER_jsa_abstract_node, __CPROVER_jsa_concrete_node, all_paths_enumeratort, interval_index_ranget, path_enumeratort, printf_formattert, sat_path_enumeratort, value_set_index_ranget, value_set_value_ranget
next_avail : __CPROVER_pipet
next_element() : interval_index_ranget
next_free_suffix_for_prefix : symbol_table_buildert
next_id : smt2_incremental_decision_proceduret::sequencet
next_operand : printf_formattert
next_pc : interpretert
next_representable() : ieee_float_valuet
next_sibling_or_parent() : depth_iterator_baset< depth_iterator_t >
next_state() : nfat< T >
next_token() : smt2_parsert, smt2_tokenizert
next_unread : __CPROVER_pipet
next_unused_suffix() : journalling_symbol_tablet, symbol_table_baset, symbol_table_buildert
nfa : levenshtein_automatont
nfat() : nfat< T >, nfat< T >::statet
nil : acceleration_utilst, empty_index_ranget, source_locationt
nil_exprt() : nil_exprt
nil_target : goto_programt::instructiont
nnf() : invariant_sett
no : dstringt
no_beautification() : solver_factoryt
no_body_regex : inlining_decoratort
no_body_set : goto_inlinet, inlining_decoratort
no_body_sett : goto_inlinet
no_boolean_variables : smt2_convt
no_caller_history : ai_history_baset
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() : solver_factoryt
no_load_classes : java_bytecode_convert_classt, java_bytecode_language_optionst
no_logging : ait< domainT >
no_operands : bv_refinementt::approximationt
NO_RENAMING : linkingt
no_state : automatont
no_unique_unimplemented_method_exceptiont() : no_unique_unimplemented_method_exceptiont
no_variables() : cnft, propt
node() : axiomst, bdd_nodet, mini_bddt
node_at() : string_dependenciest
node_id : __CPROVER_jsa_iterator, dep_graph_domaint, destructor_and_idt, variable_sensitivity_dependence_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 >, variable_sensitivity_dependence_domaint
node_map : 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 : 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, java_bytecode_convert_methodt::method_offsett >
nodest : call_grapht, grapht< N >, local_cfgt, mini_bdd_mgrt
nodet : cfg_baset< T, P, I >, grapht< N >, instrumentert::cfg_visitort, natural_loops_templatet< P, T, C >, procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >, string_dependenciest::nodet, unsigned_union_find::nodet
nof_assigns_targets : dfcc_contract_functionst
nof_elems : __CPROVER_contracts_obj_set_t
nof_frees_targets : dfcc_contract_functionst
non_leaf_enumeratort() : non_leaf_enumeratort
non_null_assignments : require_goto_statements::pointer_assignment_locationt
non_null_expressions : local_safe_pointerst
non_sharing_treet() : non_sharing_treet< derivedt, named_subtreest >
nondet_bool_symbol() : memory_model_baset
nondet_count : symex_nondet_generatort
nondet_counter : workt
nondet_flush() : shared_bufferst
nondet_globals : function_call_harness_generatort::implt
nondet_instruction_infot() : nondet_instruction_infot
nondet_padding_exprt() : nondet_padding_exprt
nondet_static : java_bytecode_language_optionst
nondet_symbol_exprt() : nondet_symbol_exprt
nondet_variables : nondet_volatilet
nondet_volatile() : nondet_volatilet
nondet_volatile_lhs() : nondet_volatilet
nondet_volatile_rhs() : nondet_volatilet
nondet_volatilet() : nondet_volatilet
NONDETERMINISTIC : ieee_floatt
nonrecursive : polynomial_acceleratort
nonrecursive_destructor() : sharing_treet< derivedt, named_subtreest >
nonterminal_set : enumerator_factoryt
noop_value_comparatort() : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::noop_value_comparatort
nor : smt_bit_vector_theoryt
nor_exprt() : nor_exprt
normalization_shift() : float_approximationt, float_bvt, float_utilst
normalize() : rationalt
not_contains : string_axiomst, string_constraintst
not_enough_arguments_regex : inlining_decoratort
not_enough_arguments_set : inlining_decoratort
not_equal() : constant_interval_exprt
not_exprt() : not_exprt
NOT_SOLVED : smt2_solvert
note_functions_to_keep() : aggressive_slicert
notequal_exprt() : notequal_exprt
notes : smt2_convt
NotFound : main_function_resultt
nothing : empty_value_ranget
npos : interpretert
ns : acceleratet, acceleration_utilst, allocate_objectst, arrayst, axiomst, boolbv_widtht, bv_refinementt::infot, c_typecastt, can_forward_propagatet, cegis_verifiert, code_contractst, cone_of_influencet, constants_evaluator, contracts_wranglert, conversion_dependenciest, cover_instrumenter_baset, dependence_grapht, dfcc_cfg_infot, dfcc_contract_clauses_codegent, dfcc_contract_functionst, dfcc_contract_handlert, dfcc_instrument_loopt, dfcc_instrumentt, dfcc_spec_functionst, dfcc_swap_and_wrapt, dfcc_wrapper_programt, dfcct, disjunctive_polynomial_accelerationt, dump_ct, endianness_mapt, enumerative_loop_contracts_synthesizert, enumerator_baset, enumerator_factoryt, expr2ct, expr2stlt, expr_initializert, flow_insensitive_analysis_baset, gdb_value_extractort, generic_parameter_specialization_mapt::printert, get_virtual_calleest, goto_check_ct, goto_convertt, goto_inlinet, goto_program2codet, goto_program_dereferencet, goto_symext, goto_trace_storaget, graphml_witnesst, havoc_assigns_targetst, havoc_if_validt, havoc_loopst, instrument_spec_assignst, instrumentert::cfg_visitort, instrumentert, interpretert, interval_evaluator, interval_index_ranget, inv_object_storet, invariant_propagationt, invariant_sett, is_compile_time_constantt, java_bytecode_convert_methodt, java_bytecode_typecheckt, java_qualifierst, k_inductiont, linking_diagnosticst, linkingt, local_bitvector_analysist, mm_iot, multi_path_symex_only_checkert, 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, shadow_memoryt, simplify_exprt, single_loop_incremental_symex_checkert, single_path_symex_only_checkert, smt2_convt, smt2_incremental_decision_proceduret, solver_factoryt, string_abstractiont, string_constraint_generatort, string_instrumentationt, struct_encodingt, symbol_factoryt, symex_assignt, symex_coveraget, symex_dereference_statet, uninitializedt, value_expr_from_smt_factoryt, value_set_analysis_templatet< VSDT >, value_set_dereferencet, value_set_evaluator, variable_sensitivity_dependence_grapht
ns_ : widened_ranget
ns_collision : expr2ct
ns_new : change_impactt, unified_difft
ns_old : change_impactt, unified_difft
nta : trace_automatont
null_address : gdb_apit::memory_addresst
null_assignment : require_goto_statements::pointer_assignment_locationt
NULL_is_zero : configt::ansi_ct
null_json_object : jsont
null_message_handlert() : null_message_handlert
null_object : pointer_logict
null_pointer_exprt() : null_pointer_exprt
nullary_exprt() : nullary_exprt
nullptr_exceptiont() : nullptr_exceptiont
num : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
NUM : small_mapt< T, Ind, Num >
num_bits() : small_mapt< T, Ind, Num >, small_shared_n_way_pointee_baset< N, Num >
num_dynamic_objects : interpretert
num_executions : symex_coveraget::coverage_infot
num_leafs : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::sharing_map_statst
num_nodes : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::sharing_map_statst
num_sccs : instrumentert
num_states : automatont, trace_automatont
num_steps : interpretert
num_tdks : Parser
num_types : small_shared_n_way_ptrt< Ts >
num_unique_leafs : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::sharing_map_statst
num_unique_nodes : sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::sharing_map_statst
number : irep_hash_container_baset::irep_entryt, irep_hash_container_baset, java_bytecode_parsert::pool_entryt
Number : lispexprt
number() : numberingt< keyt, hasht >, union_find< T, hasht >
number_covered() : cover_goalst
number_of_arrays : abstract_object_statisticst
number_of_bits() : endianness_mapt
number_of_constants : abstract_object_statisticst
number_of_errors : Parser
number_of_globals : abstract_object_statisticst
number_of_interval_abstract_objects : abstract_object_statisticst
number_of_nodes() : mini_bdd_mgrt
number_of_non_comments() : irept
number_of_pointers : abstract_object_statisticst
number_of_sections : elf_readert
number_of_single_value_intervals : abstract_object_statisticst
number_of_solver_calls : propt, smt2_convt, smt2_incremental_decision_proceduret
number_of_structs : abstract_object_statisticst
number_satisfied() : prop_minimizet
number_type : numberingt< keyt, hasht >, union_find< T, hasht >
numbered_pointers : bv_pointers_widet
numbering : irep_hash_container_baset, partial_order_concurrencyt
numbering_typet : union_find< T, hasht >
numberingt : partial_order_concurrencyt
numbers : union_find< T, hasht >
numbers_ : numberingt< keyt, hasht >
numerator : rationalt