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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

- n -

• name_mapt : graphml.cpp
• NAMED_SUB_IS_FORWARD_LIST : irep.h
• 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
• 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
• 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
• NODEV : kdev_t.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_int() : driver.h
• nondet_length() : assignments_from_json.cpp
• nondet_static() : nondet_static.cpp, nondet_static.h
• nondet_static_matching() : nondet_static.cpp, nondet_static.h
• nondet_uchar() : driver.h
• nondet_uint() : driver.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
• 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