- Record - Class in cz.cuni.mff.corrector.execution
-
Data report about a selected (promising) reached vertex.
- Record(Vertex) - Constructor for class cz.cuni.mff.corrector.execution.Record
-
Creates a new and empty instance of the report.
- registerSequenceRepair(Graph) - Method in class cz.cuni.mff.corrector.repair.Repair
-
Registers the provided multigraph with this repair.
- removeCachedTask(Task) - Method in class cz.cuni.mff.corrector.corrector.Corrector
-
Removes the provided task from the cache of tasks.
- removeCachedTask(Intent) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Removes the cached task for the specified correction intent.
- removeDelayedEdge(Edge) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Removes the selected edge from the container of delayed edges.
- removeDelayedEdges() - Method in class cz.cuni.mff.corrector.execution.Variables
-
Removes all edges from the container of delayed edges.
- removeReachedVertex(Vertex) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Removes the given vertex from the list of reached vertices.
- removeRequestedTask(Task) - Method in class cz.cuni.mff.corrector.execution.Dependencies
-
Removes the requested task from the internal container.
- removeRequestingTask(Task) - Method in class cz.cuni.mff.corrector.execution.Dependencies
-
Removes the requesting task from the internal container.
- removeStoredItem(Intent) - Method in class cz.cuni.mff.corrector.cache.IntentStoreFlat
-
- removeStoredItem(Intent) - Method in class cz.cuni.mff.corrector.cache.SignatureStoreFlat
-
- removeStoredItem(Intent) - Method in class cz.cuni.mff.corrector.cache.SignatureStoreNested
-
- removeStoredItem(Intent) - Method in interface cz.cuni.mff.corrector.cache.Store
-
Removes the cached item indexed by the given correction intent.
- removeTracingEdges(Vertex) - Method in class cz.cuni.mff.corrector.graph.Graph
-
Completely removes the set of preceding edges.
- Repair - Class in cz.cuni.mff.corrector.repair
-
Representation of the correction intent repair.
- Repair(Intent, Graph) - Constructor for class cz.cuni.mff.corrector.repair.Repair
-
Creates a new instance of the intent repair structure.
- Repair(Intent) - Constructor for class cz.cuni.mff.corrector.repair.Repair
-
Creates a new instance of the intent repair structure.
- Repair(Intent, NodeRepair, SequenceRepair) - Constructor for class cz.cuni.mff.corrector.repair.Repair
-
Deprecated.
Only for testing purposes only!
- repairReference - Variable in class cz.cuni.mff.corrector.execution.Wrapper
-
Optional reference to the associated intent repair structure.
- repairsCache - Variable in class cz.cuni.mff.corrector.corrector.Corrector
-
Internal store for managing computed repairs by their signatures.
- Report - Class in cz.cuni.mff.corrector.testing
-
Representation of profiling results computed over one corrector usage.
- Report() - Constructor for class cz.cuni.mff.corrector.testing.Report
-
Creates a new instance of a profiling report.
- requestedEdges - Variable in class cz.cuni.mff.corrector.execution.Requests
-
List of requested nested edges during the last execution.
- requestedTasks - Variable in class cz.cuni.mff.corrector.execution.Requests
-
List of requested nested tasks during the last execution.
- requestHandlerExecution(Handler) - Method in class cz.cuni.mff.corrector.corrector.Corrector
-
Executes the given prepared correction handler.
- requestInvokingMultiple(List<Task>, List<Quota>) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Requests the invoked refinement execution for a set of tasks.
- requestInvokingSingle(List<Task>, List<Quota>) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Requests the invoked refinement execution for a set of tasks.
- requestMultipleScheduling(List<Task>, List<Quota>) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Requests the scheduled refinement execution for a set of tasks.
- requestNestingSingle(List<Task>, List<Quota>) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Requests the nested refinement execution for a set of tasks.
- Requests - Class in cz.cuni.mff.corrector.execution
-
Data container for maintaining scheduling requests.
- Requests() - Constructor for class cz.cuni.mff.corrector.execution.Requests
-
Creates a new instance of the requests container.
- requestSchedulingSingle(List<Task>, List<Quota>) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Requests the scheduled refinement execution for a set of tasks.
- resetGenerator() - Method in class cz.cuni.mff.corrector.expression.Expression.Provider
-
Resets the generator.
- resetIdProvider() - Static method in class cz.cuni.mff.corrector.intent.Intent
-
Resets the current value of the intent identifier provider.
- resolveEmpty() - Method in class cz.cuni.mff.corrector.expression.Expression
-
The Empty function for Glushkov automaton construction.
- resolveEmpty() - Method in class cz.cuni.mff.corrector.expression.ExpressionConcat
-
- resolveEmpty() - Method in class cz.cuni.mff.corrector.expression.ExpressionEmpty
-
- resolveEmpty() - Method in class cz.cuni.mff.corrector.expression.ExpressionEpsilon
-
- resolveEmpty() - Method in class cz.cuni.mff.corrector.expression.ExpressionStar
-
- resolveEmpty() - Method in class cz.cuni.mff.corrector.expression.ExpressionSymbol
-
- resolveEmpty() - Method in class cz.cuni.mff.corrector.expression.ExpressionUnion
-
- resolveFirst() - Method in class cz.cuni.mff.corrector.expression.Expression
-
The First function for Glushkov automaton construction.
- resolveFirst() - Method in class cz.cuni.mff.corrector.expression.ExpressionConcat
-
- resolveFirst() - Method in class cz.cuni.mff.corrector.expression.ExpressionEmpty
-
- resolveFirst() - Method in class cz.cuni.mff.corrector.expression.ExpressionEpsilon
-
- resolveFirst() - Method in class cz.cuni.mff.corrector.expression.ExpressionStar
-
- resolveFirst() - Method in class cz.cuni.mff.corrector.expression.ExpressionSymbol
-
- resolveFirst() - Method in class cz.cuni.mff.corrector.expression.ExpressionUnion
-
- resolveFollow() - Method in class cz.cuni.mff.corrector.expression.Expression
-
The Follow function for Glushkov automaton construction.
- resolveFollow() - Method in class cz.cuni.mff.corrector.expression.ExpressionConcat
-
- resolveFollow() - Method in class cz.cuni.mff.corrector.expression.ExpressionEmpty
-
- resolveFollow() - Method in class cz.cuni.mff.corrector.expression.ExpressionEpsilon
-
- resolveFollow() - Method in class cz.cuni.mff.corrector.expression.ExpressionStar
-
- resolveFollow() - Method in class cz.cuni.mff.corrector.expression.ExpressionSymbol
-
- resolveFollow() - Method in class cz.cuni.mff.corrector.expression.ExpressionUnion
-
- resolveGrantedQuota(Edge, int) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Prepares the quota object to be assigned to the given task.
- resolveLast() - Method in class cz.cuni.mff.corrector.expression.Expression
-
The Last function for Glushkov automaton construction.
- resolveLast() - Method in class cz.cuni.mff.corrector.expression.ExpressionConcat
-
- resolveLast() - Method in class cz.cuni.mff.corrector.expression.ExpressionEmpty
-
- resolveLast() - Method in class cz.cuni.mff.corrector.expression.ExpressionEpsilon
-
- resolveLast() - Method in class cz.cuni.mff.corrector.expression.ExpressionStar
-
- resolveLast() - Method in class cz.cuni.mff.corrector.expression.ExpressionSymbol
-
- resolveLast() - Method in class cz.cuni.mff.corrector.expression.ExpressionUnion
-
- resolveStateTranslation(String) - Method in class cz.cuni.mff.corrector.grammar.Automaton
-
Translates the state of the automaton to nonterminal symbol.
- resolveTerminalSymbols(String) - Method in class cz.cuni.mff.corrector.grammar.Context
-
Translates the given nonterminal symbol into terminal symbols.
- resolveVertexReport(Vertex) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Computes the full report for the given reached vertex.
- Rule - Class in cz.cuni.mff.corrector.grammar
-
Regular tree grammar production rule representation.
- Rule(String, String, String) - Constructor for class cz.cuni.mff.corrector.grammar.Rule
-
Creates a new instance of the production rule.
- run() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Entry point of the particular correction handler execution.
- run() - Method in class cz.cuni.mff.corrector.testing.AnalysisCalls
-
- run() - Method in class cz.cuni.mff.corrector.testing.AnalysisGraphs
-
- run() - Method in class cz.cuni.mff.corrector.testing.AnalysisScaling
-
- run() - Method in class cz.cuni.mff.corrector.testing.AnalysisTasks
-
- run() - Method in class cz.cuni.mff.corrector.testing.AnalysisTimes
-