- u -

• uf_status_ : spot::iterable_uf< State, StateHash, StateEqual >::uf_element , spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
• unambiguous : spot::ltl_to_tgba_fm_otf::options
• uncompressed : spot::inner_callback_parameters
• unit_prop : spot::tl_simplifier_options
• use_generalized_rabin : spot::to_parity_options
• use_last : spot::to_parity_options
• use_last_post_process : spot::to_parity_options
• useful_ : spot::scc_info_node
• uses_fin_acceptance_ : spot::acc_cond
• utime : spot::time_info