Here is a list of all documented variables 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
• one_acc_scc_ : spot::scc_info
• one_state_ : spot::scc_info_node
• one_step_preprocess : spot::ltlf_synthesis_options
• op : spot::acc_cond::acc_word
• opt : spot::synthesis_info
• options_ : spot::scc_info
• output_ : spot::formater
• output_ap_ : spot::random_formula
• output_names_ : spot::aig
• outputs_ : spot::aig