Here is a list of all documented variables with links to the class documentation for each member:

- w -

• wall_cumul_ : spot::timer
• wall_start_ : spot::timer
• walltime : spot::ec_stats
• want_kripke : spot::automaton_parser_options
• wdba_det_max_ : spot::postprocessor
• wdba_minimize_ : spot::postprocessor
• worker_ : spot::iterable_uf< State, StateHash, StateEqual >::uf_element, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element