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