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

- w -

• walk_to_next_index() : java_local_variable_table.cpp
• warn() : err.c
• warnx() : err.c
• wchar_t_type() : c_types.cpp, c_types.h
• weak_memory() : weak_memory.cpp, weak_memory.h
• widen() : unicode.cpp, unicode.h
• widen_assigns() : utils.h, utils.cpp
• widen_bitvector() : expr_enumerator.cpp
• widen_value_set() : value_set_abstract_object.cpp
• widening_merge() : interval_abstract_value.cpp
• with_solver_hardness() : solver_hardness.h
• wp() : wp.cpp, wp.h
• wp_assign() : wp.cpp
• wp_assume() : wp.cpp
• wp_decl() : wp.cpp
• wrap_line() : string_utils.cpp, string_utils.h, string_utils.cpp, string_utils.h
• wrap_string_conversion() : string2int.h
• wrap_with_context_object() : variable_sensitivity_object_factory.cpp
• write() : unistd.c
• write_gb_string() : irep_serialization.cpp, irep_serialization.h
• write_gb_word() : irep_serialization.cpp, irep_serialization.h
• write_goto_binary() : write_goto_binary.cpp, write_goto_binary.h, write_goto_binary.cpp
• write_goto_functions_binary() : write_goto_binary.cpp
• write_graphml() : graphml.cpp, graphml.h
• write_instructions_binary() : write_goto_binary.cpp
• write_symbol_table_binary() : write_goto_binary.cpp