Here is a list of all variables with links to the classes they belong to:

- w -

• w : array_convt::array_with, cudnnfilterdesc, cudnntensordesc, rw_sett::entryt
• warnings : c_typecastt, configt::ansi_ct
• warpSize : cudaDeviceProp
• was_multi_line : parsed_string
• wchar_t_width : configt::ansi_ct
• weak_invariant_detected : bmct
• when : adjust_arm< Pass >, clang_c_adjust_irep2::arm_info
• whole_value : preprocessor.generator_mixin._GeneratorConsumerScan
• widened : andersent::indirect_callt
• widening_extrapolate : interval_domaint
• widening_narrowing : interval_domaint
• widening_under_approximate_bound : interval_domaint
• width : fixedbv_spect, fixedbv_type2t, signedbv_type2t, unsignedbv_type2t
• with : exprt
• witness_idx : code_contractst::arr_elem_snapshot_t
• witness_segs : goto_symex_statet
• witness_target_reached : goto_symex_statet
• witness_type : grapht, yamlt
• word_size : configt::ansi_ct
• writable : numpy_nditer_operand
• WRITE : dereferencet
• write : python_param_annotations::module_ast
• write_pos : error_builder
• writeback_all : clang_c_adjust_irep2
• writer_thread : irep2t
• writes : execution_statet::transition_footprintt
• writes_through_pointer : goto_loopst::function_summaryt
• writes_through_pointer_ : loopst
• written_pointees_ : loopst
• written_pointers : goto_loopst::function_summaryt
• written_pointers_ : loopst