Here is a list of all functions with links to the files they belong to:
- n -
- narrow() : unicode.cpp, narrow.h, unicode.h, unicode.cpp, unicode.h
- narrow_argv() : unicode.cpp, unicode.h
- narrow_cast() : narrow.h
- narrow_or_throw_out_of_range() : narrow.h
- needs_clinit_wrapper() : java_static_initializers.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_cpp_language() : cpp_language.h, cpp_language.cpp
- new_interval_is_top() : interval_abstract_value.cpp
- new_java_bytecode_language() : java_bytecode_language.cpp, java_bytecode_language.h
- new_jsil_language() : jsil_language.cpp, jsil_language.h
- new_json_symtab_language() : json_symtab_language.h
- new_statement_list_language() : statement_list_language.cpp, statement_list_language.h
- new_tmp_symbol() : utils.cpp, utils.h
- nibble2hex() : arith_tools.cpp
- non_destructive_compact() : value_set_abstract_object.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_uchar() : driver.h
- nondet_uint() : driver.h
- nondet_volatile() : nondet_volatile.cpp, nondet_volatile.h
- notify_static_method_calls() : java_bytecode_language.cpp
- null_object() : pointer_predicates.cpp, pointer_predicates.h
- null_pointer() : pointer_predicates.cpp, pointer_predicates.h
- numeric_cast() : arith_tools.h
- numeric_cast_v() : arith_tools.h
- numeric_representation() : goto_trace.cpp