- w -

• walltime() : spot::lpar13< State, SuccIterator, StateHash, StateEqual >, spot::process_timer, spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock >, spot::timer
• want_state() : spot::twa_reachable_iterator, spot::twa_reachable_iterator_depth_first
• weak_sccs() : spot::scc_info
• weakly_accepting() : spot::acc_cond::acc_code, spot::acc_cond
• winner() : spot::backprop_graph