- r -

• random : utils.UniqueRandomNumbers
• recv_data : Diagnosis_Client
• recv_data_buff : Diagnosis_Client
• relevantForPruning : hittingsetalg.HSNode , hittingsetalg.HSNodeFM
• RELOAD_FDG_MENU_TEXT : dfengine.GuiHittingSets
• RELOAD_OBS_MENU_TEXT : dfengine.GuiHittingSets
• RELOAD_PROP_MENU_TEXT : dfengine.GuiHittingSets
• RELOAD_SD_MENU_TEXT : dfengine.GuiHittingSets
• RELOAD_SDD_MENU_TEXT : dfengine.GuiHittingSets
• reloadAllMenu : dfengine.GuiHittingSets
• reloadFdgMenu : dfengine.GuiHittingSets
• reloadObsMenu : dfengine.GuiHittingSets
• reloadPropMenu : dfengine.GuiHittingSets
• reloadSddMenu : dfengine.GuiHittingSets
• reloadSdMenu : dfengine.GuiHittingSets
• repairCandidates : dfengine.DiagnosisEnvironments
• result : gui.InputDialog , gui.SelectionDialog , theoremprover.GenericParser
• results1Text : dfengine.GuiHittingSets
• results2Text : dfengine.GuiHittingSets
• resultsBorder : dfengine.GuiHittingSets
• resultsPanel : dfengine.GuiHittingSets
• right : utils.BinarySearchTree.BinarySearchNode , utils.MSortedCollectionNode
• rlink : utils.TwoDTree
• root : utils.DoubleLinkedTree , utils.BinarySearchTree
• rootNode : hittingsetalg.MinHittingSetsFM , dfengine.DENode , hittingsetalg.MinHittingSets
• rootNodes : dfengine.DEGraph
• rules : theoremprover.LSentence , ATPInterface.LogicalSubDB , theoremprover.PropositionalTheoremProver