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

- o -

• o_ : spot::emptiness_check, spot::emptiness_check_instantiator, spot::emptiness_check_result
• old_acc_ : spot::scc_and_mark_filter
• on_stack() : spot::twa_reachable_iterator_depth_first_stack
• one() : spot::bitset< N >
• one_acc_scc_ : spot::scc_info
• one_accepting_scc() : spot::scc_info
• one_plus() : spot::fnode, spot::formula
• one_star() : spot::fnode, spot::formula
• one_state() : spot::scc_info_node
• one_state_ : spot::scc_info_node
• one_state_of() : spot::scc_info
• one_step_preprocess : spot::ltlf_synthesis_options
• op : spot::acc_cond::acc_word
• open_temporary_file() : spot::open_temporary_file
• operator bdd_dict_ptr() : spot::bdd_dict_preorder
• operator bool() : spot::acc_cond::mark_t, spot::bitset< N >, spot::formula, spot::trival
• operator const T &() : spot::printable_value< T >
• operator delete() : spot::bitvect, spot::bitvect_array
• operator T&() : spot::printable_value< T >
• operator!() : spot::trival
• operator!=() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::acc_cond, spot::acc_cond::rs_pair, spot::adjlist< State_Data >::successor_iterator, spot::bitset< N >, spot::bitvect, spot::edge_separator_filter< subsumed >::iterator, spot::formula::formula_child_iterator, spot::formula
• operator&() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::bitset< N >
• operator&=() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::bitset< N >, spot::bitvect
• operator()() : spot::bdd_hash, spot::bdd_less_than, spot::bdd_less_than_stable, spot::char_ptr_less_than, spot::cspins_state_equal, spot::cspins_state_hash, spot::formula_ptr_less_than_bool_first, spot::identity_hash< T >, spot::outedge_combiner, spot::pair_hash, spot::ptr_hash< T >, spot::state_ptr_equal, spot::state_ptr_hash, spot::state_ptr_less_than, spot::state_shared_ptr_equal, spot::state_shared_ptr_hash, spot::state_shared_ptr_less_than, spot::state_unicity_table, std::hash< spot::bitset< N > >, std::hash< spot::formula >
• operator*() : spot::adjlist< State_Data >::successor_iterator, spot::edge_separator_filter< subsumed >::iterator, spot::formula::formula_child_iterator
• operator++() : spot::adjlist< State_Data >::successor_iterator, spot::edge_separator_filter< subsumed >::iterator, spot::formula::formula_child_iterator
• operator-() : spot::acc_cond::mark_t, spot::bitset< N >
• operator-=() : spot::acc_cond::mark_t, spot::bitset< N >, spot::bitvect
• operator<() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::acc_cond::rs_pair, spot::bitset< N >, spot::bitvect, spot::formula, spot::twa_graph_edge_data
• operator<<() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::bitset< N >, spot::bitvect, spot::bitvect_array, spot::option_map, spot::temporary_file, spot::twa_run, spot::twa_word, spot::twacube
• operator<<=() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::bitset< N >
• operator<=() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::acc_cond::rs_pair, spot::bitset< N >, spot::bitvect, spot::formula
• operator=() : spot::acc_cond, spot::acc_cond::rs_pair, spot::bitvect, spot::formula, spot::kripke_graph_state, spot::printable_acc_cond, spot::printable_formula, spot::printable_value< T >, spot::twa_graph_state, spot::twa_run
• operator==() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::acc_cond, spot::acc_cond::rs_pair, spot::adjlist< State_Data >::successor_iterator, spot::bitset< N >, spot::bitvect, spot::edge_separator_filter< subsumed >::iterator, spot::formula::formula_child_iterator, spot::formula, spot::twa_graph, spot::twa_graph_edge_data
• operator>() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::acc_cond::rs_pair, spot::bitset< N >, spot::bitvect, spot::formula
• operator>=() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::acc_cond::rs_pair, spot::bitset< N >, spot::bitvect, spot::formula
• operator>>() : spot::acc_cond::mark_t, spot::bitset< N >
• operator>>=() : spot::acc_cond::mark_t, spot::bitset< N >
• operator[]() : spot::formula, spot::option_map
• operator^() : spot::acc_cond::mark_t, spot::bitset< N >
• operator^=() : spot::acc_cond::mark_t, spot::bitset< N >, spot::bitvect
• operator|() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::bitset< N >
• operator|=() : spot::acc_cond::acc_code, spot::acc_cond::mark_t, spot::bitset< N >, spot::bitvect
• operator~() : spot::acc_cond::mark_t, spot::bitset< N >
• opt : spot::synthesis_info
• optimization_level : spot::postprocessor, spot::translator
• options() : spot::emptiness_check, spot::emptiness_check_instantiator, spot::emptiness_check_result, spot::tl_simplifier
• options_ : spot::scc_info
• options_updated() : spot::emptiness_check, spot::emptiness_check_result
• orig_formula() : spot::ltl_to_tgba_fm_otf
• out() : spot::adjlist< State_Data >, spot::digraph< State_Data, Edge_Data >, spot::kripke_graph, spot::twa_graph
• out_iteraser() : spot::digraph< State_Data, Edge_Data >, spot::twa_graph
• outedge_combiner() : spot::outedge_combiner
• output() : spot::aig, spot::taa_tgba_labelled< label >
• output_ : spot::formater
• output_aborter() : spot::output_aborter
• output_ap() : spot::random_formula
• output_ap_ : spot::random_formula
• output_names() : spot::aig
• output_names_ : spot::aig
• output_pref : spot::postprocessor, spot::translator
• output_type : spot::postprocessor, spot::randltlgenerator, spot::translator
• outputs() : spot::aig
• outputs_ : spot::aig
• override_acceptance() : spot::scc_and_mark_filter