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

M

Main - Class in cz.cuni.mff.corrector
Entry point for the corrector implementation.
Main() - Constructor for class cz.cuni.mff.corrector.Main
 
main(String[]) - Static method in class cz.cuni.mff.corrector.Main
 
markCompletedJob() - Method in class cz.cuni.mff.corrector.execution.Task
Activates the internal flag of completed refinement job.
markExpression(Expression) - Static method in class cz.cuni.mff.corrector.expression.Expression
Transforms given regular expression into marked one.
markSymbols(Expression.Provider) - Method in class cz.cuni.mff.corrector.expression.Expression
Marks all individual symbols of the alphabet.
markSymbols(Expression.Provider) - Method in class cz.cuni.mff.corrector.expression.ExpressionConcat
 
markSymbols(Expression.Provider) - Method in class cz.cuni.mff.corrector.expression.ExpressionEmpty
 
markSymbols(Expression.Provider) - Method in class cz.cuni.mff.corrector.expression.ExpressionEpsilon
 
markSymbols(Expression.Provider) - Method in class cz.cuni.mff.corrector.expression.ExpressionStar
 
markSymbols(Expression.Provider) - Method in class cz.cuni.mff.corrector.expression.ExpressionSymbol
 
markSymbols(Expression.Provider) - Method in class cz.cuni.mff.corrector.expression.ExpressionUnion
 
Mend - Class in cz.cuni.mff.corrector.repair
Mend encapsulation for edit sequences repairing sequences and intents.
Mend(List<Edit>, int) - Constructor for class cz.cuni.mff.corrector.repair.Mend
Creates a new mend instance.
mergeNestedStatistics(List<Stats>) - Static method in class cz.cuni.mff.corrector.tree.Stats
Merges statistics from nested child nodes.
mergeTreeStatistics(List<Stats>) - Static method in class cz.cuni.mff.corrector.tree.Stats
Merges statistics from several data trees and computes their averages.
A B C D E F G H I M N O P Q R S T U V W X