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

- r -

• rabin_to_buchi : spot::to_parity_options
• raise_errors : spot::automaton_parser_options
• rb : spot::random_sere
• rde_ : spot::postprocessor
• reach : spot::enumerate_cycles::state_info
• realizable : spot::synthesis_info::bench_var
• reduce_basics : spot::tl_simplifier_options
• reduce_col_deg : spot::to_parity_options
• reduce_size_strictly : spot::tl_simplifier_options
• refs : spot::bdd_dict::bdd_info
• rejecting_ : spot::scc_info_node
• rem : spot::scc_stack::connected_component
• removed_components : spot::couvreur99_check
• res_ : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >
• restore_old_acc_ : spot::scc_and_mark_filter
• reverse_binder_ : spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual >
• right_ : spot::twa_product
• right_init_ : spot::twa_product_init
• root : spot::couvreur99_check_status
• rs : spot::random_psl
• running : spot::timer