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

- u -

• uf : spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual >
• uf_element : spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual >, spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual >
• uf_element_hasher() : spot::iterable_uf< State, StateHash, StateEqual >::uf_element_hasher, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher
• uf_status : spot::iterable_uf< State, StateHash, StateEqual >, spot::iterable_uf_ec< State, StateHash, StateEqual >
• uf_status_ : spot::iterable_uf< State, StateHash, StateEqual >::uf_element, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element
• unabbreviator() : spot::unabbreviator
• unambiguous : spot::ltl_to_tgba_fm_otf::options
• unbounded() : spot::fnode, spot::formula
• unbox_state() : spot::cspins_state_manager
• uncompressed : spot::inner_callback_parameters
• unit_prop : spot::tl_simplifier_options
• unit_propagation() : spot::acc_cond::acc_code, spot::acc_cond
• unite() : spot::int_unionfind, spot::iterable_uf< State, StateHash, StateEqual >, spot::iterable_uf_ec< State, StateHash, StateEqual >
• univ_dests() : spot::digraph< State_Data, Edge_Data >, spot::twa_graph
• univ_remover_state() : spot::univ_remover_state
• unlock_list() : spot::iterable_uf< State, StateHash, StateEqual >, spot::iterable_uf_ec< State, StateHash, StateEqual >
• unlock_root() : spot::iterable_uf< State, StateHash, StateEqual >, spot::iterable_uf_ec< State, StateHash, StateEqual >
• unop() : spot::fnode, spot::formula
• unregister_all_my_variables() : spot::bdd_dict
• unregister_ap() : spot::twa
• unregister_lit_() : spot::aig
• unregister_variable() : spot::bdd_dict
• unsat_mark() : spot::acc_cond
• unsigned_fun : spot::unsigned_statistics
• update() : spot::lpar13< State, SuccIterator, StateHash, StateEqual >, spot::product_to_twa< State, SuccIterator, StateHash, StateEqual >
• update_sums() : spot::random_formula
• use_all_aps() : spot::twa_word
• use_generalized_rabin : spot::to_parity_options
• use_last : spot::to_parity_options
• use_last_post_process : spot::to_parity_options
• used_blocks() : spot::bitvect
• used_inf_fin_sets() : spot::acc_cond::acc_code
• used_once_sets() : spot::acc_cond::acc_code
• used_sets() : spot::acc_cond::acc_code
• useful_ : spot::scc_info_node
• useless() : spot::acc_cond
• useless_colors_patterns() : spot::acc_cond::acc_code
• uses_fin_acceptance() : spot::acc_cond
• uses_fin_acceptance_ : spot::acc_cond
• utime : spot::time_info, spot::timer