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::acc_cond::mark_t > , 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