- r -

• RAG() : cz.muni.stanse.threadchecker.graph.RAG
• RAGException() : cz.muni.stanse.threadchecker.exceptions.RAGException
• receive() : cz.muni.stanse.checker.CheckerErrorReceiver
• receiveAll() : cz.muni.stanse.checker.CheckerErrorReceiver
• recoverFromMismatchedSet() : cz.muni.stanse.cparser.GNUCaParser
• recoverFromMismatchedToken() : cz.muni.stanse.cparser.GNUCaParser
• ReferencedSourceCodeFileEnumerator() : cz.muni.stanse.configuration.source_enumeration.ReferencedSourceCodeFileEnumerator
• refreshErrorsTree() : cz.muni.stanse.gui.MainWindow
• relationalExpression() : cz.muni.stanse.cparser.GNUCaParser
• remove() : cz.muni.stanse.threadchecker.locks.LockStack , cz.muni.stanse.threadchecker.locks.UnlockSet
• removeFromOnStack() : cz.muni.stanse.threadchecker.CheckerSettings
• removeSucc() : cz.muni.stanse.codestructures.CFGNode
• replaceEdge() : cz.muni.stanse.codestructures.CFGNode
• replaceOptEdge() : cz.muni.stanse.codestructures.CFGNode
• Request() : cz.muni.stanse.threadchecker.graph.Request
• ResourceVertex() : cz.muni.stanse.threadchecker.graph.ResourceVertex
• ReturnValuePassingManager() : cz.muni.stanse.codestructures.ReturnValuePassingManager
• run() : cz.muni.stanse.codestructures.builders.CallGraphBuilder , cz.muni.stanse.codestructures.builders.NodeToCFGdictionaryBuilder , cz.muni.stanse.codestructures.builders.StartFunctionsSetBuilder , cz.muni.stanse.statistics.CheckerErrorsGuiTracing , cz.muni.stanse.statistics.CheckerErrorsSorter , cz.muni.stanse.statistics.ErrorMessagesStatsBuilder , cz.muni.stanse.statistics.MergeDocuments , cz.muni.stanse.statistics.PerformanceDataBuilder , cz.muni.stanse.statistics.StatisticalDatabaseBuilder , cz.muni.stanse.statistics.StatisticalDatabaseLoader , cz.muni.stanse.utils.CallGraphToDot
• runDestructive() : cz.muni.stanse.codestructures.builders.StartFunctionsSetBuilder