- n -

• 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
• 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
• 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.h , statement_list_language.cpp
• nextUp() : math.c
• nextUpf() : math.c
• nextUpl() : math.c
• nibble2hex() : arith_tools.cpp
• no_assertions() : c_safety_checks.cpp , c_safety_checks.h
• non_destructive_compact() : value_set_abstract_object.cpp
• nondet_initializer() : expr_initializer.cpp , expr_initializer.h
• nondet_static() : nondet_static.h , nondet_static.cpp
• nondet_static_matching() : nondet_static.cpp , nondet_static.h
• nondet_volatile() : nondet_volatile.cpp , nondet_volatile.h
• normalize() : shadow_memory_util.cpp
• notify_static_method_calls() : java_bytecode_language.cpp
• ntohl() : inet.c
• ntohs() : inet.c
• null_object() : pointer_predicates.cpp , pointer_predicates.h
• numeric_cast() : arith_tools.h
• numeric_cast_v() : arith_tools.h
• numeric_representation() : goto_trace.cpp