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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

R

S

T

U

V

W

X

Y

Z

_

- w -

• walk_to_next_index() : java_local_variable_table.cpp
• 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.cpp, utils.h
• 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
• wrap_string_conversion() : string2int.h
• wrap_with_context_object() : variable_sensitivity_object_factory.cpp
• 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_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