Here is a list of all functions with links to the files they belong to:
- 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.cpp, statement_list_language.h
- 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_length() : assignments_from_json.cpp
- 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
- 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