- r -

• rabin() : spot::acc_cond::acc_code
• rand() : spot::barand< gen >
• randltlgenerator() : spot::randltlgenerator
• random() : spot::acc_cond::acc_code
• random_boolean() : spot::random_boolean
• random_formula() : spot::random_formula
• random_ltl() : spot::random_ltl
• random_psl() : spot::random_psl
• random_sere() : spot::random_sere
• rbegin() : spot::scc_info
• reachable_state() : spot::scc_info
• realizability_simplifier() : spot::realizability_simplifier
• realizability_simplifier_base() : spot::realizability_simplifier_base
• reapply_() : spot::aig
• recycle() : spot::cspins_iterator , spot::kripke_graph_succ_iterator< Graph > , spot::kripke_succ_iterator , spot::kripkecube< State, SuccIterator > , spot::kripkecube< cspins_state, cspins_iterator > , spot::twa_graph_succ_iterator< Graph >
• reduce() : spot::twa_run
• reduce_parity_data() : spot::reduce_parity_data
• register_acceptance_variable() : spot::bdd_dict
• register_all_propositions_of() : 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_formula_() : spot::language_containment_checker
• register_input_() : spot::aig
• register_latch_() : spot::aig
• register_new_lit_() : spot::aig
• register_next_variable() : spot::ltl_to_tgba_fm_otf
• register_proposition() : spot::bdd_dict , spot::bdd_dict_preorder
• release() : spot::cubeset
• release_formula_namer() : spot::twa_graph
• release_iter() : spot::twa
• release_named_properties() : spot::twa
• rem() : spot::scc_stack
• remove() : spot::acc_cond::acc_code , spot::acc_cond
• remove_component() : spot::couvreur99_check
• remove_dead_edges_() : spot::digraph< State_Data, Edge_Data >
• remove_from_list() : spot::iterable_uf< State, StateHash, StateEqual > , spot::iterable_uf_ec< State, StateHash, StateEqual >
• remove_some() : spot::acc_cond::mark_t
• remove_some_props() : spot::randltlgenerator
• remove_unused_ap() : spot::twa_graph
• rename_states_() : spot::digraph< State_Data, Edge_Data > , spot::twa_graph
• rend() : spot::scc_info
• replay() : spot::twa_run
• report_message() : spot::formula
• report_unused_options() : spot::option_map
• require() : spot::declarative_environment , spot::default_environment , spot::environment
• reserve_blocks() : spot::bitvect
• reset() : spot::printable_scc_info , spot::trans_index
• reset_all() : spot::timer_map
• restore_acceptance() : spot::scc_and_mark_filter
• restrict_to() : spot::acc_cond
• result() : spot::couvreur99_check , spot::lpar13< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock >
• rewrite() : spot::ltlf_one_step_sat_rewrite_with_cache , spot::ltlf_one_step_unsat_rewrite_with_cache
• right() : spot::state_product
• right_acc() : spot::twa_product
• roll_back_() : spot::aig
• rs_pair() : spot::acc_cond::rs_pair
• rs_pairs_view() : spot::rs_pairs_view
• run() : spot::enumerate_cycles , spot::kripkecube_to_twa< State, SuccIterator, StateHash, StateEqual > , spot::lpar13< State, SuccIterator, StateHash, StateEqual > , spot::postprocessor , spot::product_to_twa< State, SuccIterator, StateHash, StateEqual > , spot::satsolver_command , spot::swarmed_bloemen< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_bloemen_ec< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_cndfs< State, SuccIterator, StateHash, StateEqual > , spot::swarmed_deadlock< State, SuccIterator, StateHash, StateEqual, Deadlock > , spot::translator , spot::twa_reachable_iterator , spot::twa_reachable_iterator_depth_first , spot::unabbreviator
• run_aux() : spot::translator
• run_q() : spot::translator