- r -

• RankedWorklist() : wali::RankedWorklist
• rbegin() : wali::wpds::Config
• Reach() : Reach
• reachable() : wali::graph::SummaryGraph , wali::wpds::fwpds::SWPDS
• realizeImplicitTrans() : opennwa::Nwa
• reevaluate() : wali::graph::RegExp
• ref_ptr() : wali::ref_ptr< T >
• reg_exp_key_t() : wali::graph::reg_exp_key_t
• Regex() : wali::regex::Regex
• RegExpSatProcess() : wali::graph::RegExpSatProcess
• RegExpStats() : wali::graph::RegExpStats
• removeAll() : opennwa::details::SymbolStorage , opennwa::details::Label
• removeCall() : opennwa::details::TransitionInfo , opennwa::details::TransitionStorage
• removeCallTrans() : opennwa::Nwa
• removeCallTransSym() : opennwa::details::TransitionStorage
• removeCallTransWith() : opennwa::details::TransitionStorage
• removeFinalState() : opennwa::details::StateStorage , opennwa::Nwa
• removeImplicitTransitions() : opennwa::Nwa
• removeInitialState() : opennwa::details::StateStorage , opennwa::Nwa
• removeInternal() : opennwa::details::TransitionStorage
• removeInternalTrans() : opennwa::Nwa
• removeInternalTransSym() : opennwa::details::TransitionStorage
• removeInternalTransWith() : opennwa::details::TransitionStorage
• removeIntra() : opennwa::details::TransitionInfo
• removeRet() : opennwa::details::TransitionInfo
• removeReturn() : opennwa::details::TransitionStorage
• removeReturnTrans() : opennwa::Nwa
• removeReturnTransSym() : opennwa::details::TransitionStorage
• removeReturnTransWith() : opennwa::details::TransitionStorage
• removeState() : opennwa::details::StateStorage , opennwa::Nwa
• removeSymbol() : opennwa::details::SymbolStorage , opennwa::details::Label , opennwa::Nwa
• removeTransSym() : opennwa::details::TransitionStorage
• removeTransWith() : opennwa::details::TransitionStorage
• rend() : wali::wpds::Config
• replace_rule() : wali::wpds::ewpds::EWPDS , wali::wpds::WPDS , wali::wpds::ewpds::EWPDS , wali::wpds::WPDS
• reset() : wali::graph::UnionFind
• reset_marks() : wali::witness::WitnessMerge , wali::regex::Concat , wali::regex::Star , wali::witness::Witness , wali::regex::Regex , wali::regex::Union , wali::witness::WitnessExtend , wali::witness::WitnessCombine
• resetUpdatable() : wali::graph::IntraGraph
• retTrans() : opennwa::details::TransitionInfo
• returnExists() : opennwa::details::TransitionStorage
• right() : wali::witness::WitnessExtend
• rinsert() : wali::wpds::Config
• Rule() : wali::wpds::Rule
• rule() : wali::witness::WitnessMerge
• rule_t() : wali::wpds::rule_t
• RuleCopier() : wali::wpds::RuleCopier
• RuleDotty() : wali::wpds::RuleDotty
• RuleMarshaller() : wali::wpds::RuleMarshaller
• RulePrinter() : wali::wpds::RulePrinter
• RuleStub() : wali::witness::RuleStub
• runSCCdecomposition() : wali::graph::Graph