- u -

• U() : spot::formula
• UConcat() : spot::formula
• unabbreviator() : spot::unabbreviator
• unbounded() : spot::fnode, spot::formula
• unbox_state() : spot::cspins_state_manager
• unit_propagation() : spot::acc_cond
• 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
• update() : spot::lpar13< State, SuccIterator, StateHash, StateEqual >
• use_all_aps() : spot::twa_word
• 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