- r -

• rDomain : faudes::RabinInvDynOperator , faudes::RabinInvDynOperator_RK
• RefCnt : faudes::TNode< VLabel, ELabel >
• rel : faudes::sDevice::Levels
• rGen : faudes::CtrlPfxOperator , faudes::HOAConsumerFaudes , faudes::RabinInvDynOperator , faudes::RabinInvDynOperator_RK
• rGenVec : faudes::SmallSize
• rMarkedStates : faudes::RabinInvDynOperator , faudes::RabinInvDynOperator_RK
• ro : faudes::Bisimulation , faudes::SOE
• roDividers : faudes::Bisimulation , faudes::SOE
• root : faudes::adjlist
• rootNode : faudes::LabeledTree
• rostable : faudes::Pnode
• rRevTransRel : faudes::RabinInvDynOperator , faudes::RabinInvDynOperator_RK
• rSet : faudes::TreeNode
• rSymTab : faudes::HOAConsumerFaudes
• rTransRel : faudes::CtrlPfxOperator , faudes::RabinInvDynOperator , faudes::RabinInvDynOperator_RK