Here is a list of all documented namespace members with links to the namespaces they belong to:

- r -

• rabin_is_buchi_realizable() : spot
• rabin_to_buchi_if_realizable() : spot
• rabin_to_buchi_maybe() : spot
• random_acceptance() : spot
• random_graph() : spot
• randomize() : spot
• reduce_buchi_acceptance_set_here() : spot
• reduce_direct_cosim() : spot
• reduce_direct_cosim_sba() : spot
• reduce_direct_sim() : spot
• reduce_direct_sim_sba() : spot
• reduce_iterated() : spot
• reduce_iterated_sba() : spot
• reduce_mealy() : spot
• reduce_mealy_here() : spot
• reduce_parity() : spot
• reduce_parity_here() : spot
• relabel() : spot
• relabel_apply() : spot
• relabel_bse() : spot
• relabel_game_here() : spot
• relabel_here() : spot
• relabel_overlapping_bse() : spot
• remove_fin() : spot
• remove_x() : spot
• rrand() : spot