- 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