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

• acc_op : spot::acc_cond
• algo : spot::synthesis_info
• claim_status : spot::iterable_uf< State, StateHash, StateEqual >, spot::iterable_uf_ec< State, StateHash, StateEqual >
• dump_storage_items : spot::digraph< State_Data, Edge_Data >
• list_status : spot::iterable_uf< State, StateHash, StateEqual >, spot::iterable_uf_ec< State, StateHash, StateEqual >
• optimization_level : spot::postprocessor, spot::translator
• output_type : spot::postprocessor, spot::randltlgenerator, spot::translator
• realizability_code : spot::mealy_like
• realizability_simplifier_option : spot::realizability_simplifier_base
• splittype : spot::synthesis_info
• uf_status : spot::iterable_uf< State, StateHash, StateEqual >, spot::iterable_uf_ec< State, StateHash, StateEqual >
• value_t : spot::trival
• var_type : spot::bdd_dict