- accessProfilingReport() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Returns the shortcut to the profiling report.
- acquireDataTree(String, int, int, int) - Method in class cz.cuni.mff.corrector.testing.Analysis
-
Provides the instance of the required evaluation data tree instance.
- acquireGrammarInstance(int) - Method in class cz.cuni.mff.corrector.testing.Analysis
-
Provides the instance of the required evaluation grammar instance.
- acquireInvokingMultiple(List<Intent>) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Fetches the required repairs or requests their invoked execution.
- acquireInvokingSingle(Intent) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Fetches the required repair or requests its invoked execution.
- acquireNestingSingle(Intent) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Fetches the required repair or requests its nested execution.
- acquireSchedulingMultiple(Requests, List<Intent>, List<Edge>) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Fetches the required repairs or requests their scheduled execution.
- acquireSchedulingSingle(Requests, Intent, Edge) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Fetches the required repair or requests its scheduled execution.
- activateInvokingIterative(Task, Quota) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Activates the particular invoked task.
- activateInvokingStandard(Task) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Activates the particular invoked task.
- addCachedTask(Intent, Task) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Adds a new task into the local cache of tasks for reached intents.
- addChildNode(Node) - Method in class cz.cuni.mff.corrector.tree.NodeElement
-
Adds a new node as the last child node of this parent node.
- addDelayedEdge(Edge) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Adds a new edge to the container of delayed edges.
- addDelayedEdges(Collection<Edge>) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Adds all provided edges to the container of delayed edges.
- addNewEdge(Edge) - Method in class cz.cuni.mff.corrector.graph.Graph
-
Adds a new edge into the multigraph.
- addNewVertex(Vertex) - Method in class cz.cuni.mff.corrector.graph.Graph
-
Adds a new vertex into the multigraph.
- addReachedVertex(Vertex) - Method in class cz.cuni.mff.corrector.execution.Variables
-
Inserts the given vertex into the list of reached vertices.
- addRequestedTask(Task) - Method in class cz.cuni.mff.corrector.execution.Dependencies
-
Adds a new requesting task into the internal container.
- addRequestingTask(Task) - Method in class cz.cuni.mff.corrector.execution.Dependencies
-
Adds a new requesting task into the internal container.
- addTracingEdge(Vertex, Edge) - Method in class cz.cuni.mff.corrector.graph.Graph
-
Adds a new preceding edge into the set of a given base vertex.
- allowsEmpty - Variable in class cz.cuni.mff.corrector.expression.Expression
-
Cached value of the Empty function.
- Analysis - Class in cz.cuni.mff.corrector.testing
-
Ancestor for particular experimental evaluation analyses.
- Analysis() - Constructor for class cz.cuni.mff.corrector.testing.Analysis
-
- AnalysisCalls - Class in cz.cuni.mff.corrector.testing
-
Analysis dealing with task calls in case of the REFINE strategy.
- AnalysisCalls() - Constructor for class cz.cuni.mff.corrector.testing.AnalysisCalls
-
- AnalysisGraphs - Class in cz.cuni.mff.corrector.testing
-
Analysis dealing with average size of explored multigraphs.
- AnalysisGraphs() - Constructor for class cz.cuni.mff.corrector.testing.AnalysisGraphs
-
- AnalysisScaling - Class in cz.cuni.mff.corrector.testing
-
Analysis of execution times using the RFN-N1-E configuration.
- AnalysisScaling() - Constructor for class cz.cuni.mff.corrector.testing.AnalysisScaling
-
- AnalysisTasks - Class in cz.cuni.mff.corrector.testing
-
Analysis dealing with task numbers and distribution.
- AnalysisTasks() - Constructor for class cz.cuni.mff.corrector.testing.AnalysisTasks
-
- AnalysisTimes - Class in cz.cuni.mff.corrector.testing
-
Analysis of execution times depending on configuration and sizes.
- AnalysisTimes() - Constructor for class cz.cuni.mff.corrector.testing.AnalysisTimes
-
- applyRootCutting() - Method in class cz.cuni.mff.corrector.edit.Edit
-
Applies the modCut modification of the base position.
- applyRootCutting() - Method in class cz.cuni.mff.corrector.repair.Mend
-
Applies modCut to all edit operations stored in the mend.
- applyRootCutting() - Method in class cz.cuni.mff.corrector.tree.Position
-
Removes the first item in the position sequence.
- applyRootPrepending(Integer) - Method in class cz.cuni.mff.corrector.edit.Edit
-
Applies the modPre modification of the base position.
- applyRootPrepending(Integer) - Method in class cz.cuni.mff.corrector.repair.Mend
-
Applies modPre to all edit operations stored in the mend.
- applyRootPrepending(Integer) - Method in class cz.cuni.mff.corrector.tree.Position
-
Prepends a new item at the beginning of the position sequence.
- applyRootShifting(int) - Method in class cz.cuni.mff.corrector.edit.Edit
-
Applies the modAlt modification of the base position.
- applyRootShifting(int) - Method in class cz.cuni.mff.corrector.tree.Position
-
Increments the first item in the position sequence.
- associatedTask - Variable in class cz.cuni.mff.corrector.corrector.Handler
-
Associated task representing the goal of this handler execution.
- associatedVertex - Variable in class cz.cuni.mff.corrector.execution.Record
-
Reference to the associated vertex object.
- Automaton - Class in cz.cuni.mff.corrector.grammar
-
Glushkov automaton representation.
- Automaton(Expression) - Constructor for class cz.cuni.mff.corrector.grammar.Automaton
-
Creates a new Glushkov automaton for a given marked regular expression.