Here is a list of all namespace functions with links to the namespace documentation for each function:

- r -

• RabinBuechiAutomaton() : faudes
• RabinBuechiProduct() : faudes
• RabinCtrl() : faudes
• RabinCtrlPartialObs() : faudes
• RabinCtrlPartialObsConsistencyCheck() : faudes
• RabinCtrlPfx() : faudes
• RabinCtrlPfx_RK() : faudes
• RabinCtrlPfxWithFeedback() : faudes
• RabinLanguageInclusion() : faudes
• RabinLifeStates() : faudes
• RabinSimplify() : faudes
• RabinTrim() : faudes
• RabinTrimSet() : faudes
• ran() : faudes
• ran_exponential() : faudes
• ran_gauss() : faudes
• ran_gaussian_cdf_P() : faudes
• ran_init() : faudes
• ran_plant_seeds() : faudes
• ran_put_seed() : faudes
• ran_select_stream() : faudes
• ran_uniform() : faudes
• ran_uniform_int() : faudes
• ReachableEvents() : faudes
• ReadDirectory() : faudes
• rec_ComputeLoopPreservingObserver() : faudes
• rec_OptimalColorSet() : faudes
• recursiveCheckLCC() : faudes
• recursiveCheckMSABackward() : faudes
• recursiveCheckMSAForward() : faudes
• RedundantSilentStep() : faudes
• relabel() : faudes
• RemoveEps() : faudes
• RemoveIoDummyStates() : faudes
• RemoveNonCoaccessibleOut() : faudes
• RemoveRedSilentSelfloops() : faudes
• RemoveTauLoops() : faudes
• RemoveTauSelfloops() : faudes