- 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_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.h, 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_binary.cpp
- write_graphml() : graphml.cpp, graphml.h