- r -

• R() : spot::formula
• rabin() : spot::acc_cond::acc_code
• random() : spot::acc_cond::acc_code
• random_boolean() : spot::random_boolean
• random_ltl() : spot::random_ltl
• random_psl() : spot::random_psl
• random_sere() : spot::random_sere
• reapply_() : spot::aig
• recycle() : spot::kripkecube< State, SuccIterator >
• reduce() : spot::twa_run
• register_acceptance_variable() : spot::bdd_dict
• register_all_variables_of() : spot::bdd_dict
• register_anonymous_variables() : spot::bdd_dict
• register_ap() : spot::twa
• register_aps_from_dict() : spot::twa
• register_new_lit_() : spot::aig
• register_proposition() : spot::bdd_dict
• release() : spot::cubeset
• release_iter() : spot::twa
• release_named_properties() : spot::twa
• rem() : spot::scc_stack, spot::scc_stack_ta
• remove() : spot::acc_cond::acc_code, spot::acc_cond
• remove_component() : spot::couvreur99_check
• remove_dead_edges_() : spot::digraph< State_Data, Edge_Data >
• remove_some() : spot::acc_cond::mark_t
• remove_unused_ap() : spot::twa_graph
• rename_states_() : spot::digraph< State_Data, Edge_Data >
• replay() : spot::twa_run
• report_unused_options() : spot::option_map
• require() : spot::declarative_environment, spot::default_environment, spot::environment
• reserve_blocks() : spot::bitvect
• reset() : spot::trans_index
• reset_all() : spot::timer_map
• restrict_to() : spot::acc_cond
• result() : spot::couvreur99_check
• roll_back_() : spot::aig
• run() : spot::enumerate_cycles, spot::postprocessor, spot::satsolver_command, spot::ta_reachable_iterator, spot::translator, spot::twa_reachable_iterator, spot::twa_reachable_iterator_depth_first