- r -

• r2hash : wali::wpds::WPDS
• rchild : wali::witness::WitnessExtend
• regexp : wali::graph::PathSequence , wali::graph::IntraGraphNode , wali::graph::IntraGraphEdge , wali::graph::SummaryGraphNode
• return_symbol : opennwa::CallReturnTransitionInserter
• returnPoints : wali::wpds::WpdsStackSymbols
• returnTrans : opennwa::details::TransitionStorage
• right : wali::regex::Concat , wali::relations::Domain
• rule_zeroes : wali::wpds::WPDS