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

P

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