A B C D E F G H I M N O P Q R S T U V W X 

R

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
 
A B C D E F G H I M N O P Q R S T U V W X