- o -

• on_stack() : spot::twa_reachable_iterator_depth_first_stack
• one() : spot::bitset< N >
• one_accepting_scc() : spot::scc_info
• one_plus() : spot::fnode, spot::formula
• one_star() : spot::fnode, spot::formula
• operator&() : spot::acc_cond::acc_code
• operator&=() : spot::acc_cond::acc_code
• operator()() : hoayy::parser, spot::state_unicity_table, tlyy::parser
• operator<<() : spot::acc_cond::acc_code
• operator<<=() : spot::acc_cond::acc_code
• operator=() : spot::acc_cond, spot::formula
• operator[]() : spot::formula, spot::option_map
• operator|() : spot::acc_cond::acc_code
• operator|=() : spot::acc_cond::acc_code
• options() : spot::emptiness_check, spot::emptiness_check_instantiator, spot::tl_simplifier
• options_updated() : spot::emptiness_check, spot::emptiness_check_result
• Or() : spot::formula
• OrRat() : spot::formula
• out() : spot::digraph< State_Data, Edge_Data >
• out_iteraser() : spot::digraph< State_Data, Edge_Data >
• output() : spot::aig, spot::taa_tgba_labelled< label >
• output_names() : spot::aig
• outputs() : spot::aig