Here is a list of all variables with links to the classes they belong to:

- 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