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

- u -

• uf_element_hasher() : spot::iterable_uf< State, StateHash, StateEqual >::uf_element_hasher, spot::iterable_uf_ec< State, StateHash, StateEqual >::uf_element_hasher
• unabbreviator() : spot::unabbreviator
• unbounded() : spot::fnode, spot::formula
• unbox_state() : spot::cspins_state_manager
• 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
• 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
• 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
• useless() : spot::acc_cond
• useless_colors_patterns() : spot::acc_cond::acc_code
• uses_fin_acceptance() : spot::acc_cond
• utime() : spot::timer