Here is a list of all file members with links to the files they belong to:

- n -

• name_mapt : graphml.cpp
• NAMED_SUB_IS_FORWARD_LIST : irep.h
• nan() : math.c
• nanf() : math.c
• nanl() : math.c
• narrow() : narrow.h , unicode.cpp , unicode.h
• narrow_argv() : unicode.cpp , unicode.h
• narrow_cast() : narrow.h
• narrow_or_throw_out_of_range() : narrow.h
• natural_loops_mutablet : natural_loops.h
• NB_COLOURS : event_graph.cpp
• nearbyint() : math.c
• nearbyintf() : math.c
• nearbyintl() : math.c
• needs_clinit_wrapper() : java_static_initializers.cpp
• needs_width() : struct_encoding.cpp
• neg() : literal.h
• negation_of_not_contains_constraint() : string_refinement.cpp
• NESTING_CLOSED_LINE_SEPARATOR : expr2statement_list.cpp
• NESTING_OPEN_LINE_SEPARATOR : expr2statement_list.cpp
• new_ansi_c_language() : ansi_c_language.cpp , ansi_c_language.h
• new_api_session() : c_api.h
• new_cpp_language() : cpp_language.cpp , cpp_language.h
• new_interval_is_top() : interval_abstract_value.cpp
• new_java_bytecode_language() : java_bytecode_language.cpp , java_bytecode_language.h
• new_json_symtab_language() : json_symtab_language.h
• new_state_predicate_type() : horn_encoding.cpp
• new_statement_list_language() : statement_list_language.cpp , statement_list_language.h
• newstack : parser.h
• next_thread_id : java_bytecode_concurrency_instrumentation.cpp
• nextUp() : math.c
• nextUpf() : math.c
• nextUpl() : math.c
• nibble2hex() : arith_tools.cpp
• nil_rep_storage : irep.cpp
• no_assertions() : c_safety_checks.cpp , c_safety_checks.h
• no_body_warnings : state_encoding.cpp
• NO_INSTRUCTION_TYPE : goto_program.h
• no_loop : wmm.h
• NO_VALUE : statement_list_parse_tree_io.cpp
• node_indext : scope_tree.h
• non_destructive_compact() : value_set_abstract_object.cpp
• non_ms_cl_options : ms_cl_cmdline.cpp
• non_ms_link_options : ms_link_cmdline.cpp
• nondet_initializer() : expr_initializer.cpp , expr_initializer.h
• nondet_static() : nondet_static.cpp , nondet_static.h
• nondet_static_matching() : nondet_static.cpp , nondet_static.h
• nondet_volatile() : nondet_volatile.cpp , nondet_volatile.h
• NONDET_VOLATILE_MODEL_OPT : nondet_volatile.h
• NONDET_VOLATILE_OPT : nondet_volatile.h
• NONDET_VOLATILE_VARIABLE_OPT : nondet_volatile.h
• NORMALISE_CONSTANT_TESTS : simplify_expr_int.cpp
• normalize() : shadow_memory_util.cpp
• NOT : expr2statement_list.cpp
• NOT_POSTFIX : expr2statement_list.cpp
• notify_static_method_calls() : java_bytecode_language.cpp
• ntohl() : inet.c
• ntohs() : inet.c
• null_message_handler : message.cpp , message.h
• null_object() : pointer_predicates.cpp , pointer_predicates.h
• numeric_cast() : arith_tools.h
• numeric_cast_v() : arith_tools.h
• numeric_representation() : goto_trace.cpp