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

A

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