- 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.