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_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_parity()
: spot
- reduce_parity_here()
: spot
- relabel()
: spot
- relabel_apply()
: spot
- relabel_bse()
: spot
- relabel_here()
: spot
- remove_fin()
: spot
- remove_x()
: spot
- rrand()
: spot