- parseOperand(String, String) - Static method in class cz.cuni.mff.corrector.expression.Expression
-
Internal function for parsing operand value from the expression.
- parseXmlDocument(String) - Static method in class cz.cuni.mff.corrector.tree.XmlParser
-
Parses provided XML document and returns its recursive node structure.
- PATH - Static variable in class cz.cuni.mff.corrector.testing.Analysis
-
Relative path from the home folder to testing documents.
- PATH - Static variable in class cz.cuni.mff.corrector.testing.Generator
-
Relative path from the home folder to testing documents.
- pathsComparator - Variable in class cz.cuni.mff.corrector.graph.Graph
-
Automatically created comparator for paths in this multigraph.
- performCompleteExecution() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Processes the complete evaluation.
- performScatteredExecution() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Processes the complete execution scattered into steps.
- Pool - Class in cz.cuni.mff.corrector.execution
-
Wrapper for the standard executor class used as a pool of workers.
- Pool(Integer) - Constructor for class cz.cuni.mff.corrector.execution.Pool
-
Creates and initialises a new pool of workers.
- POOL_DEFAULT - Static variable in class cz.cuni.mff.corrector.execution.Pool
-
Default number of worker threads in the fixed pool.
- POOL_UNLIMITED - Static variable in class cz.cuni.mff.corrector.execution.Pool
-
Special constant for variable number of worker threads.
- Position - Class in cz.cuni.mff.corrector.tree
-
Representation of the position address in a data tree.
- Position() - Constructor for class cz.cuni.mff.corrector.tree.Position
-
Creates a new and empty position.
- Position(int) - Constructor for class cz.cuni.mff.corrector.tree.Position
-
Creates a new position based on a single item address.
- Position(List<Integer>) - Constructor for class cz.cuni.mff.corrector.tree.Position
-
Creates a new position from the prepared sequence of numbers.
- preparedEdges - Variable in class cz.cuni.mff.corrector.execution.Requests
-
List of postponed and not yet evaluated edges and their intents.
- preparedQuotas - Variable in class cz.cuni.mff.corrector.execution.Requests
-
List of postponed and not yet evaluated tasks and their intents.
- preparedTasks - Variable in class cz.cuni.mff.corrector.execution.Requests
-
List of postponed and not yet evaluated tasks and their intents.
- printDebugDump(String) - Method in class cz.cuni.mff.corrector.grammar.Automaton
-
Prints the debugging dump of the automaton.
- printDebugDump(String) - Method in class cz.cuni.mff.corrector.grammar.Context
-
Prints the debugging dump of the grammar context.
- printDebugDump(String) - Method in class cz.cuni.mff.corrector.grammar.Grammar
-
Prints the debugging dump of the tree grammar.
- printDebugDump(String) - Method in class cz.cuni.mff.corrector.graph.Graph
-
Prints the debugging dump of the repairing multigraph.
- printDebugDump(String) - Method in class cz.cuni.mff.corrector.intent.Intent
-
Prints the debugging dump of the correction intent.
- printDebugDump() - Method in class cz.cuni.mff.corrector.repair.Repair
-
Prints the debugging dump of the repair intent structure.
- printDebugDump(String) - Method in class cz.cuni.mff.corrector.repair.Repair
-
Prints the debugging dump of the repair intent structure.
- printFixesDump() - Method in class cz.cuni.mff.corrector.repair.Repair
-
Prints the dump of computed fixes, i.e.
- printPathsDump(String) - Method in class cz.cuni.mff.corrector.repair.Repair
-
Prints the list of all shortest paths of the given repair.
- printPathsDump(String, List<List<Edge>>) - Method in class cz.cuni.mff.corrector.repair.Repair
-
Prints the list of all provided paths.
- processCompleteVertex(Record, Vertex) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Processes the complete vertex using the iterative strategy.
- processDelayedEdges() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Processes the delayed edges using the iterative strategy.
- processExplorationLoop() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Performs or continues the multigraph exploration.
- processIncompleteVertex(Record, Vertex) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Processes the incomplete vertex using the iterative strategy.
- processingInstruction(String, String) - Method in class cz.cuni.mff.corrector.tree.XmlParser
-
- processIterativeLoop() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Performs or continues the multigraph exploration.
- processPathsSearching() - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Finds all shortest paths in the provided and fully explored multigraph.
- processPreparedIntents(Requests) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Process one of the prepared or postponed nested intents and its edge.
- processPreparedRefinements(Requests) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Process one of the prepared or postponed nested intents and its edge.
- processRequestsClosing(Requests) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Closes the set of previously requested intents and their exploration.
- processSelectedVertex(Vertex) - Method in class cz.cuni.mff.corrector.corrector.Handler
-
Performs or starts the further exploration of the selected vertex.
- profilingReport - Variable in class cz.cuni.mff.corrector.corrector.Corrector
-
Optional reference to the prepared profiling results.
- profilingStats - Variable in class cz.cuni.mff.corrector.corrector.Corrector
-
Flag of activated profiling of various statistics.
- profilingTimes - Variable in class cz.cuni.mff.corrector.corrector.Corrector
-
Flag of activated profiling of execution times.
- PROLOGUE - Static variable in class cz.cuni.mff.corrector.testing.Generator
-
XML prologue string used when exporting generated trees.
- promisingEdges - Variable in class cz.cuni.mff.corrector.execution.Record
-
Prepared set of open edges having the minimal cost over them.
- provideExtendedWrapper(Intent) - Method in class cz.cuni.mff.corrector.corrector.Corrector
-
Fetches the required repair, existing or newly created extended task.
- provideExtendedWrappers(List<Intent>) - Method in class cz.cuni.mff.corrector.corrector.Corrector
-
Fetches the required repairs, existing or newly created extended tasks.
- provideSimpleWrapper(Intent) - Method in class cz.cuni.mff.corrector.corrector.Corrector
-
Fetches the required repair or creates a new simple task.