Updating jaxb

cdc08x · Jan 26, 2022 · 7df1f80 · 7df1f80
1 parent 6b7485c
commit 7df1f80
Show file tree

Hide file tree

Showing 261 changed files with 26 additions and 268 deletions.
diff --git a/bin/minerful/automaton/encdec/dot_templates.properties b/bin/minerful/automaton/encdec/dot_templates.properties
diff --git a/bin/minerful/automaton/encdec/end_for_dot.txt b/bin/minerful/automaton/encdec/end_for_dot.txt
diff --git a/bin/minerful/automaton/encdec/init_for_dot.txt b/bin/minerful/automaton/encdec/init_for_dot.txt
diff --git a/bin/minerful/concept/jaxb.index b/bin/minerful/concept/jaxb.index
@@ -30,13 +30,15 @@ constraint.relation.Response
 constraint.relation.Succession
 constraint.relation.UnidirectionalRelationConstraint
 constraint.existence.Absence
-constraint.existence.AtLeastOne
-constraint.existence.AtLeastThree
-constraint.existence.AtLeastTwo
-constraint.existence.AtMostOne
-constraint.existence.AtMostTwo
+constraint.existence.AtLeast1
+constraint.existence.AtLeast2
+constraint.existence.AtLeast3
+constraint.existence.AtMost1
+constraint.existence.AtMost2
+constraint.existence.AtMost3
 constraint.existence.End
-constraint.existence.ExactlyOne
-constraint.existence.ExactlyTwo
+constraint.existence.Exactly1
+constraint.existence.Exactly2
+constraint.existence.Exactly3
 constraint.existence.ExistenceConstraint
-constraint.existence.Init
+constraint.existence.Init
diff --git a/bin/minerful/examples/api/simplification/MinerFulSimplificationInvokerOnDeclareMapFile.class b/bin/minerful/examples/api/simplification/MinerFulSimplificationInvokerOnDeclareMapFile.class
diff --git a/bin/minerful/io/ProcessStylesheet.xsl b/bin/minerful/io/ProcessStylesheet.xsl
diff --git a/bin/minerful/io/encdec/declaremap/ConDec2CSV.xsl b/bin/minerful/io/encdec/declaremap/ConDec2CSV.xsl
diff --git a/bin/minerful/miner/stats/jaxb.index b/bin/minerful/miner/stats/jaxb.index
diff --git a/bin/minerful/miner/stats/xmlenc/statsxml2distance.dat.xsl b/bin/minerful/miner/stats/xmlenc/statsxml2distance.dat.xsl
diff --git a/src/minerful/AbstractMinerFulStarter.java b/src/minerful/AbstractMinerFulStarter.java
diff --git a/src/minerful/MinerFulErrorInjectedSimuStarter.java b/src/minerful/MinerFulErrorInjectedSimuStarter.java
diff --git a/src/minerful/MinerFulErrorInjectedTracesMakerStarter.java b/src/minerful/MinerFulErrorInjectedTracesMakerStarter.java
diff --git a/src/minerful/MinerFulMinerLauncher.java b/src/minerful/MinerFulMinerLauncher.java
diff --git a/src/minerful/MinerFulMinerStarter.java b/src/minerful/MinerFulMinerStarter.java
diff --git a/src/minerful/MinerFulOutputManagementLauncher.java b/src/minerful/MinerFulOutputManagementLauncher.java
diff --git a/src/minerful/MinerFulSimplificationLauncher.java b/src/minerful/MinerFulSimplificationLauncher.java
diff --git a/src/minerful/MinerFulSimplificationStarter.java b/src/minerful/MinerFulSimplificationStarter.java
diff --git a/src/minerful/MinerFulSimuStarter.java b/src/minerful/MinerFulSimuStarter.java
diff --git a/src/minerful/MinerFulTracesMakerStarter.java b/src/minerful/MinerFulTracesMakerStarter.java
diff --git a/src/minerful/MinerFulVacuityChecker.java b/src/minerful/MinerFulVacuityChecker.java
diff --git a/src/minerful/automaton/AutomatonFactory.java b/src/minerful/automaton/AutomatonFactory.java
diff --git a/src/minerful/automaton/AutomatonRandomWalker.java b/src/minerful/automaton/AutomatonRandomWalker.java
diff --git a/src/minerful/automaton/CallableAutomataMaker.java b/src/minerful/automaton/CallableAutomataMaker.java
diff --git a/src/minerful/automaton/DimensionalityHeuristicBasedAutomataIntersector.java b/src/minerful/automaton/DimensionalityHeuristicBasedAutomataIntersector.java
diff --git a/src/minerful/automaton/DimensionalityHeuristicBasedCallableAutomataMaker.java b/src/minerful/automaton/DimensionalityHeuristicBasedCallableAutomataMaker.java
diff --git a/src/minerful/automaton/DimensionalityHeuristicBasedCallableBriefSubAutomataMaker.java b/src/minerful/automaton/DimensionalityHeuristicBasedCallableBriefSubAutomataMaker.java
diff --git a/src/minerful/automaton/DimensionalityHeuristicBasedCallableSubAutomataMaker.java b/src/minerful/automaton/DimensionalityHeuristicBasedCallableSubAutomataMaker.java
diff --git a/src/minerful/automaton/RunnableAutoJoiner.java b/src/minerful/automaton/RunnableAutoJoiner.java
diff --git a/src/minerful/automaton/RunnableAutoMaker.java b/src/minerful/automaton/RunnableAutoMaker.java
diff --git a/src/minerful/automaton/SubAutomaton.java b/src/minerful/automaton/SubAutomaton.java
diff --git a/src/minerful/automaton/concept/relevance/ActivationStatusAwareState.java b/src/minerful/automaton/concept/relevance/ActivationStatusAwareState.java
diff --git a/src/minerful/automaton/concept/relevance/ActivationStatusWildcardAwareState.java b/src/minerful/automaton/concept/relevance/ActivationStatusWildcardAwareState.java
diff --git a/src/minerful/automaton/concept/relevance/RelevanceAwareTransition.java b/src/minerful/automaton/concept/relevance/RelevanceAwareTransition.java
diff --git a/src/minerful/automaton/concept/relevance/StateActivationStatus.java b/src/minerful/automaton/concept/relevance/StateActivationStatus.java
diff --git a/src/minerful/automaton/concept/relevance/TransitionRelevance.java b/src/minerful/automaton/concept/relevance/TransitionRelevance.java
diff --git a/src/minerful/automaton/concept/relevance/VacuityAwareAutomaton.java b/src/minerful/automaton/concept/relevance/VacuityAwareAutomaton.java
diff --git a/src/minerful/automaton/concept/relevance/VacuityAwareWildcardAutomaton.java b/src/minerful/automaton/concept/relevance/VacuityAwareWildcardAutomaton.java
diff --git a/src/minerful/automaton/concept/weight/AutomatonElementButter.java b/src/minerful/automaton/concept/weight/AutomatonElementButter.java
diff --git a/src/minerful/automaton/concept/weight/AutomatonElementQuantileButter.java b/src/minerful/automaton/concept/weight/AutomatonElementQuantileButter.java
diff --git a/src/minerful/automaton/concept/weight/AutomatonNonConformityElementButter.java b/src/minerful/automaton/concept/weight/AutomatonNonConformityElementButter.java
diff --git a/src/minerful/automaton/concept/weight/WeightedAutomaton.java b/src/minerful/automaton/concept/weight/WeightedAutomaton.java
diff --git a/src/minerful/automaton/concept/weight/WeightedAutomatonStats.java b/src/minerful/automaton/concept/weight/WeightedAutomatonStats.java
diff --git a/src/minerful/automaton/concept/weight/WeightedAutomatonXmlAdapter.java b/src/minerful/automaton/concept/weight/WeightedAutomatonXmlAdapter.java
diff --git a/src/minerful/automaton/concept/weight/WeightedState.java b/src/minerful/automaton/concept/weight/WeightedState.java
diff --git a/src/minerful/automaton/concept/weight/WeightedStateXmlAdapter.java b/src/minerful/automaton/concept/weight/WeightedStateXmlAdapter.java
diff --git a/src/minerful/automaton/concept/weight/WeightedTransition.java b/src/minerful/automaton/concept/weight/WeightedTransition.java
diff --git a/src/minerful/automaton/concept/weight/WeightedTransitionXmlAdapter.java b/src/minerful/automaton/concept/weight/WeightedTransitionXmlAdapter.java
diff --git a/src/minerful/automaton/encdec/AbstractAutomatonDotPrinter.java b/src/minerful/automaton/encdec/AbstractAutomatonDotPrinter.java
diff --git a/src/minerful/automaton/encdec/AutomatonDotPrinter.java b/src/minerful/automaton/encdec/AutomatonDotPrinter.java
diff --git a/src/minerful/automaton/encdec/StateTransitionCounter.java b/src/minerful/automaton/encdec/StateTransitionCounter.java
diff --git a/src/minerful/automaton/encdec/StateTransitionCountersMap.java b/src/minerful/automaton/encdec/StateTransitionCountersMap.java
diff --git a/src/minerful/automaton/encdec/TsmlEncoder.java b/src/minerful/automaton/encdec/TsmlEncoder.java
diff --git a/src/minerful/automaton/encdec/WeightedAutomatonFactory.java b/src/minerful/automaton/encdec/WeightedAutomatonFactory.java
diff --git a/src/minerful/automaton/encdec/dot_templates.properties b/src/minerful/automaton/encdec/dot_templates.properties
diff --git a/src/minerful/automaton/encdec/end_for_dot.txt b/src/minerful/automaton/encdec/end_for_dot.txt
diff --git a/src/minerful/automaton/encdec/init_for_dot.txt b/src/minerful/automaton/encdec/init_for_dot.txt
diff --git a/src/minerful/automaton/utils/AutomatonUtils.java b/src/minerful/automaton/utils/AutomatonUtils.java
diff --git a/src/minerful/checking/ConstraintsFitnessEvaluator.java b/src/minerful/checking/ConstraintsFitnessEvaluator.java
diff --git a/src/minerful/checking/relevance/dao/ConstraintFitnessEvaluation.java b/src/minerful/checking/relevance/dao/ConstraintFitnessEvaluation.java
diff --git a/src/minerful/checking/relevance/dao/TraceEvaluation.java b/src/minerful/checking/relevance/dao/TraceEvaluation.java
diff --git a/src/minerful/checking/relevance/walkers/RelevanceAutomatonMultiWalker.java b/src/minerful/checking/relevance/walkers/RelevanceAutomatonMultiWalker.java
diff --git a/src/minerful/checking/relevance/walkers/RelevanceAutomatonWalker.java b/src/minerful/checking/relevance/walkers/RelevanceAutomatonWalker.java
diff --git a/src/minerful/concept/AbstractTaskClass.java b/src/minerful/concept/AbstractTaskClass.java
diff --git a/src/minerful/concept/Event.java b/src/minerful/concept/Event.java
diff --git a/src/minerful/concept/ProcessModel.java b/src/minerful/concept/ProcessModel.java
diff --git a/src/minerful/concept/TaskChar.java b/src/minerful/concept/TaskChar.java
diff --git a/src/minerful/concept/TaskCharArchive.java b/src/minerful/concept/TaskCharArchive.java
diff --git a/src/minerful/concept/TaskCharFactory.java b/src/minerful/concept/TaskCharFactory.java
diff --git a/src/minerful/concept/TaskCharSet.java b/src/minerful/concept/TaskCharSet.java
diff --git a/src/minerful/concept/TaskCharSetFactory.java b/src/minerful/concept/TaskCharSetFactory.java
diff --git a/src/minerful/concept/TaskClass.java b/src/minerful/concept/TaskClass.java
diff --git a/src/minerful/concept/constraint/Constraint.java b/src/minerful/concept/constraint/Constraint.java
diff --git a/src/minerful/concept/constraint/ConstraintChange.java b/src/minerful/concept/constraint/ConstraintChange.java
diff --git a/src/minerful/concept/constraint/ConstraintFamily.java b/src/minerful/concept/constraint/ConstraintFamily.java
diff --git a/src/minerful/concept/constraint/ConstraintFamilyComparator.java b/src/minerful/concept/constraint/ConstraintFamilyComparator.java
diff --git a/src/minerful/concept/constraint/ConstraintSubFamilyComparator.java b/src/minerful/concept/constraint/ConstraintSubFamilyComparator.java
diff --git a/src/minerful/concept/constraint/ConstraintsBag.java b/src/minerful/concept/constraint/ConstraintsBag.java
diff --git a/src/minerful/concept/constraint/MetaConstraintUtils.java b/src/minerful/concept/constraint/MetaConstraintUtils.java
diff --git a/src/minerful/concept/constraint/existence/AtLeast1.java b/src/minerful/concept/constraint/existence/AtLeast1.java
diff --git a/src/minerful/concept/constraint/existence/AtMost1.java b/src/minerful/concept/constraint/existence/AtMost1.java
diff --git a/src/minerful/concept/constraint/existence/End.java b/src/minerful/concept/constraint/existence/End.java
diff --git a/src/minerful/concept/constraint/existence/Exactly1.java b/src/minerful/concept/constraint/existence/Exactly1.java
diff --git a/src/minerful/concept/constraint/existence/ExistenceConstraint.java b/src/minerful/concept/constraint/existence/ExistenceConstraint.java
diff --git a/src/minerful/concept/constraint/existence/ExistenceLimitsConstraint.java b/src/minerful/concept/constraint/existence/ExistenceLimitsConstraint.java
diff --git a/src/minerful/concept/constraint/existence/Init.java b/src/minerful/concept/constraint/existence/Init.java
diff --git a/src/minerful/concept/constraint/relation/AlternatePrecedence.java b/src/minerful/concept/constraint/relation/AlternatePrecedence.java
diff --git a/src/minerful/concept/constraint/relation/AlternateResponse.java b/src/minerful/concept/constraint/relation/AlternateResponse.java
diff --git a/src/minerful/concept/constraint/relation/AlternateSuccession.java b/src/minerful/concept/constraint/relation/AlternateSuccession.java
diff --git a/src/minerful/concept/constraint/relation/ChainPrecedence.java b/src/minerful/concept/constraint/relation/ChainPrecedence.java
diff --git a/src/minerful/concept/constraint/relation/ChainResponse.java b/src/minerful/concept/constraint/relation/ChainResponse.java
diff --git a/src/minerful/concept/constraint/relation/ChainSuccession.java b/src/minerful/concept/constraint/relation/ChainSuccession.java
diff --git a/src/minerful/concept/constraint/relation/CoExistence.java b/src/minerful/concept/constraint/relation/CoExistence.java
diff --git a/src/minerful/concept/constraint/relation/MutualRelationConstraint.java b/src/minerful/concept/constraint/relation/MutualRelationConstraint.java
diff --git a/src/minerful/concept/constraint/relation/NegativeRelationConstraint.java b/src/minerful/concept/constraint/relation/NegativeRelationConstraint.java
diff --git a/src/minerful/concept/constraint/relation/NotChainSuccession.java b/src/minerful/concept/constraint/relation/NotChainSuccession.java
diff --git a/src/minerful/concept/constraint/relation/NotCoExistence.java b/src/minerful/concept/constraint/relation/NotCoExistence.java
diff --git a/src/minerful/concept/constraint/relation/NotSuccession.java b/src/minerful/concept/constraint/relation/NotSuccession.java
diff --git a/src/minerful/concept/constraint/relation/Precedence.java b/src/minerful/concept/constraint/relation/Precedence.java
diff --git a/src/minerful/concept/constraint/relation/RelationConstraint.java b/src/minerful/concept/constraint/relation/RelationConstraint.java
diff --git a/src/minerful/concept/constraint/relation/RespondedExistence.java b/src/minerful/concept/constraint/relation/RespondedExistence.java
diff --git a/src/minerful/concept/constraint/relation/Response.java b/src/minerful/concept/constraint/relation/Response.java
diff --git a/src/minerful/concept/constraint/relation/Succession.java b/src/minerful/concept/constraint/relation/Succession.java
diff --git a/src/minerful/concept/constraint/relation/UnidirectionalRelationConstraint.java b/src/minerful/concept/constraint/relation/UnidirectionalRelationConstraint.java
diff --git a/src/minerful/concept/jaxb.index b/src/minerful/concept/jaxb.index
@@ -30,13 +30,15 @@ constraint.relation.Response
 constraint.relation.Succession
 constraint.relation.UnidirectionalRelationConstraint
 constraint.existence.Absence
-constraint.existence.AtLeastOne
-constraint.existence.AtLeastThree
-constraint.existence.AtLeastTwo
-constraint.existence.AtMostOne
-constraint.existence.AtMostTwo
+constraint.existence.AtLeast1
+constraint.existence.AtLeast2
+constraint.existence.AtLeast3
+constraint.existence.AtMost1
+constraint.existence.AtMost2
+constraint.existence.AtMost3
 constraint.existence.End
-constraint.existence.ExactlyOne
-constraint.existence.ExactlyTwo
+constraint.existence.Exactly1
+constraint.existence.Exactly2
+constraint.existence.Exactly3
 constraint.existence.ExistenceConstraint
-constraint.existence.Init
+constraint.existence.Init
diff --git a/src/minerful/examples/api/discovery/MinerFulCallerOnStringFile.java b/src/minerful/examples/api/discovery/MinerFulCallerOnStringFile.java
diff --git a/src/minerful/examples/api/discovery/MinerFulObserverInvokerOnXesFile.java b/src/minerful/examples/api/discovery/MinerFulObserverInvokerOnXesFile.java
diff --git a/src/minerful/examples/api/logmaking/FromCharactersProcessModelToLog.java b/src/minerful/examples/api/logmaking/FromCharactersProcessModelToLog.java
diff --git a/src/minerful/examples/api/logmaking/FromDeclareMapToLog.java b/src/minerful/examples/api/logmaking/FromDeclareMapToLog.java
diff --git a/src/minerful/examples/api/logmaking/FromJsonProcessModelToLog.java b/src/minerful/examples/api/logmaking/FromJsonProcessModelToLog.java
diff --git a/src/minerful/examples/api/logmaking/FromStringsProcessModelToLog.java b/src/minerful/examples/api/logmaking/FromStringsProcessModelToLog.java
diff --git a/src/minerful/examples/api/simplification/MinerFulSimplificationInvokerOnDeclareMapFile.java b/src/minerful/examples/api/simplification/MinerFulSimplificationInvokerOnDeclareMapFile.java
@@ -20,8 +20,8 @@
  */
 public class MinerFulSimplificationInvokerOnDeclareMapFile {
 
-	private static final String EXAMPLE_OUTPUT_PROCESS_MODEL_FILE = "/home/claudio/Desktop/example-model.xml";
-	private static final String EXAMPLE_INPUT_PROCESS_MODEL_FILE = "/home/claudio/Code/MINERful/models/mined/bpi_challenge_2013_closed_problems-model-s075.xml";
+	private static final String EXAMPLE_OUTPUT_PROCESS_MODEL_FILE = "/home/cdc08x/Desktop/example-model.xml";
+	private static final String EXAMPLE_INPUT_PROCESS_MODEL_FILE = "/home/cdc08x/Code/MINERful-dev/models/mined/bpi_challenge_2013_closed_problems-model-s09-c05-i0125.xml";
 
 	public static void main(String[] args) {
 		InputModelParameters inputParams = new InputModelParameters();
@@ -64,4 +64,4 @@ public static void main(String[] args) {
 
 		System.exit(0);
 	}
-}
+}
diff --git a/src/minerful/index/ConstraintIndexHasseBreadthFirstStepper.java b/src/minerful/index/ConstraintIndexHasseBreadthFirstStepper.java
diff --git a/src/minerful/index/ConstraintIndexHasseDiagram.java b/src/minerful/index/ConstraintIndexHasseDiagram.java
diff --git a/src/minerful/index/ConstraintIndexHasseInverseDepthFirstStepper.java b/src/minerful/index/ConstraintIndexHasseInverseDepthFirstStepper.java
diff --git a/src/minerful/index/ConstraintIndexHasseMaker.java b/src/minerful/index/ConstraintIndexHasseMaker.java
diff --git a/src/minerful/index/ConstraintIndexHasseManager.java b/src/minerful/index/ConstraintIndexHasseManager.java
diff --git a/src/minerful/index/ConstraintIndexHasseNode.java b/src/minerful/index/ConstraintIndexHasseNode.java
diff --git a/src/minerful/index/ConstraintIndexHassePruner.java b/src/minerful/index/ConstraintIndexHassePruner.java
@@ -249,4 +249,4 @@ private void propagateRedundancyLabel(
 		}
 		return;
 	}
-}
+}
diff --git a/src/minerful/index/LinearConstraintsIndexFactory.java b/src/minerful/index/LinearConstraintsIndexFactory.java
diff --git a/src/minerful/index/ModularConstraintsSorter.java b/src/minerful/index/ModularConstraintsSorter.java
diff --git a/src/minerful/index/SortingPolicy.java b/src/minerful/index/SortingPolicy.java
diff --git a/src/minerful/index/comparator/allinone/CnsSortAllInOneDefaultPolicy.java b/src/minerful/index/comparator/allinone/CnsSortAllInOneDefaultPolicy.java
diff --git a/src/minerful/index/comparator/allinone/HierarchyBasedComparator.java b/src/minerful/index/comparator/allinone/HierarchyBasedComparator.java
diff --git a/src/minerful/index/comparator/allinone/InterestConfidenceBasedComparator.java b/src/minerful/index/comparator/allinone/InterestConfidenceBasedComparator.java
diff --git a/src/minerful/index/comparator/allinone/SupportBasedComparator.java b/src/minerful/index/comparator/allinone/SupportBasedComparator.java
diff --git a/src/minerful/index/comparator/allinone/SupportConfidenceInterestFactorBasedComparator.java b/src/minerful/index/comparator/allinone/SupportConfidenceInterestFactorBasedComparator.java
diff --git a/...mparator/allinone/SupportFamilyConfidenceInterestFactorHierarchyLevelBasedComparator.java b/...mparator/allinone/SupportFamilyConfidenceInterestFactorHierarchyLevelBasedComparator.java
diff --git a/src/minerful/index/comparator/modular/ConstraintSortingPolicy.java b/src/minerful/index/comparator/modular/ConstraintSortingPolicy.java
diff --git a/src/minerful/index/comparator/modular/ModularConstraintsComparator.java b/src/minerful/index/comparator/modular/ModularConstraintsComparator.java
diff --git a/src/minerful/index/comparator/modular/ModularConstraintsComparatorFactory.java b/src/minerful/index/comparator/modular/ModularConstraintsComparatorFactory.java
diff --git a/src/minerful/index/comparator/modular/modules/ModActivationTargetBondsBasedComparator.java b/src/minerful/index/comparator/modular/modules/ModActivationTargetBondsBasedComparator.java
diff --git a/src/minerful/index/comparator/modular/modules/ModConfidenceBasedComparator.java b/src/minerful/index/comparator/modular/modules/ModConfidenceBasedComparator.java
diff --git a/src/minerful/index/comparator/modular/modules/ModDefaultComparator.java b/src/minerful/index/comparator/modular/modules/ModDefaultComparator.java
diff --git a/src/minerful/index/comparator/modular/modules/ModFamilyBasedComparator.java b/src/minerful/index/comparator/modular/modules/ModFamilyBasedComparator.java
diff --git a/src/minerful/index/comparator/modular/modules/ModHierarchyBasedComparator.java b/src/minerful/index/comparator/modular/modules/ModHierarchyBasedComparator.java
diff --git a/src/minerful/index/comparator/modular/modules/ModInterestFactorBasedComparator.java b/src/minerful/index/comparator/modular/modules/ModInterestFactorBasedComparator.java
diff --git a/src/minerful/index/comparator/modular/modules/ModRandomComparator.java b/src/minerful/index/comparator/modular/modules/ModRandomComparator.java
diff --git a/src/minerful/index/comparator/modular/modules/ModSupportBasedComparator.java b/src/minerful/index/comparator/modular/modules/ModSupportBasedComparator.java
diff --git a/src/minerful/io/ConstraintsPrinter.java b/src/minerful/io/ConstraintsPrinter.java
diff --git a/src/minerful/io/ProcessStylesheet.xsl b/src/minerful/io/ProcessStylesheet.xsl
diff --git a/src/minerful/io/encdec/DeclareConstraintTransferObject.java b/src/minerful/io/encdec/DeclareConstraintTransferObject.java
@@ -182,4 +182,4 @@ public int compareTo(DeclareConstraintTransferObject o) {
 
 		return result;
 	}
-}
+}
diff --git a/src/minerful/io/encdec/ProcessModelEncoderDecoder.java b/src/minerful/io/encdec/ProcessModelEncoderDecoder.java
diff --git a/src/minerful/io/encdec/ProcessModelTransferObject.java b/src/minerful/io/encdec/ProcessModelTransferObject.java
diff --git a/src/minerful/io/encdec/StringToLowerCaseAlphanumToTemplateTranslator.java b/src/minerful/io/encdec/StringToLowerCaseAlphanumToTemplateTranslator.java
diff --git a/src/minerful/io/encdec/TaskCharEncoderDecoder.java b/src/minerful/io/encdec/TaskCharEncoderDecoder.java
diff --git a/src/minerful/io/encdec/TransferObjectToConstraintTranslator.java b/src/minerful/io/encdec/TransferObjectToConstraintTranslator.java
diff --git a/src/minerful/io/encdec/TransferObjectToProcessModelTranslator.java b/src/minerful/io/encdec/TransferObjectToProcessModelTranslator.java
diff --git a/src/minerful/io/encdec/declaremap/ConDec2CSV.xsl b/src/minerful/io/encdec/declaremap/ConDec2CSV.xsl
diff --git a/src/minerful/io/encdec/declaremap/DeclareMapEncoderDecoder.java b/src/minerful/io/encdec/declaremap/DeclareMapEncoderDecoder.java
diff --git a/src/minerful/io/encdec/declaremap/DeclareMapReaderWriter.java b/src/minerful/io/encdec/declaremap/DeclareMapReaderWriter.java
diff --git a/src/minerful/io/encdec/declaremap/DeclareMapTemplate.java b/src/minerful/io/encdec/declaremap/DeclareMapTemplate.java
diff --git a/src/minerful/io/encdec/declaremap/DeclareMapToMinerFulTemplatesTranslator.java b/src/minerful/io/encdec/declaremap/DeclareMapToMinerFulTemplatesTranslator.java
@@ -128,4 +128,4 @@ public static Class<? extends Constraint> translateTemplateName(DeclareMapTempla
 			return null;
 		}
 	}
-}
+}
diff --git a/src/minerful/io/encdec/json/JsonPojoEncoderDecoder.java b/src/minerful/io/encdec/json/JsonPojoEncoderDecoder.java
diff --git a/src/minerful/io/encdec/log/IOutEncoder.java b/src/minerful/io/encdec/log/IOutEncoder.java
diff --git a/src/minerful/io/encdec/log/MxmlEncoder.java b/src/minerful/io/encdec/log/MxmlEncoder.java
diff --git a/src/minerful/io/encdec/log/TaskTracesFromStringsLog.java b/src/minerful/io/encdec/log/TaskTracesFromStringsLog.java
diff --git a/src/minerful/io/encdec/log/XesEncoder.java b/src/minerful/io/encdec/log/XesEncoder.java
diff --git a/src/minerful/io/encdec/pojo/ConstraintPojo.java b/src/minerful/io/encdec/pojo/ConstraintPojo.java
diff --git a/src/minerful/io/encdec/pojo/ProcessModelPojo.java b/src/minerful/io/encdec/pojo/ProcessModelPojo.java
diff --git a/src/minerful/io/encdec/xml/CharAdapter.java b/src/minerful/io/encdec/xml/CharAdapter.java
diff --git a/src/minerful/io/encdec/xml/ConstraintsBagAdapter.java b/src/minerful/io/encdec/xml/ConstraintsBagAdapter.java
diff --git a/src/minerful/io/encdec/xml/ConstraintsBagDto.java b/src/minerful/io/encdec/xml/ConstraintsBagDto.java
diff --git a/src/minerful/io/encdec/xml/ConstraintsBagMapAdapter.java b/src/minerful/io/encdec/xml/ConstraintsBagMapAdapter.java
diff --git a/src/minerful/io/encdec/xml/ConstraintsSetAdapter.java b/src/minerful/io/encdec/xml/ConstraintsSetAdapter.java
diff --git a/src/minerful/io/encdec/xml/TaskClassAdapter.java b/src/minerful/io/encdec/xml/TaskClassAdapter.java
diff --git a/src/minerful/io/params/InputModelParameters.java b/src/minerful/io/params/InputModelParameters.java
diff --git a/src/minerful/io/params/OutputModelParameters.java b/src/minerful/io/params/OutputModelParameters.java
diff --git a/src/minerful/logmaker/MinerFulLogMaker.java b/src/minerful/logmaker/MinerFulLogMaker.java
diff --git a/src/minerful/logmaker/errorinjector/AbstractErrorInjector.java b/src/minerful/logmaker/errorinjector/AbstractErrorInjector.java
diff --git a/src/minerful/logmaker/errorinjector/AbstractErrorInjectorByMixImpl.java b/src/minerful/logmaker/errorinjector/AbstractErrorInjectorByMixImpl.java
diff --git a/src/minerful/logmaker/errorinjector/AbstractErrorInjectorImpl.java b/src/minerful/logmaker/errorinjector/AbstractErrorInjectorImpl.java
diff --git a/src/minerful/logmaker/errorinjector/AbstractErrorInjectorOverCollection.java b/src/minerful/logmaker/errorinjector/AbstractErrorInjectorOverCollection.java
diff --git a/src/minerful/logmaker/errorinjector/AbstractErrorInjectorOverStrings.java b/src/minerful/logmaker/errorinjector/AbstractErrorInjectorOverStrings.java
diff --git a/src/minerful/logmaker/errorinjector/ErrorInjector.java b/src/minerful/logmaker/errorinjector/ErrorInjector.java
diff --git a/src/minerful/logmaker/errorinjector/ErrorInjectorFactory.java b/src/minerful/logmaker/errorinjector/ErrorInjectorFactory.java
diff --git a/src/minerful/logmaker/errorinjector/ErrorInjectorOverCollectionByDeletion.java b/src/minerful/logmaker/errorinjector/ErrorInjectorOverCollectionByDeletion.java
diff --git a/src/minerful/logmaker/errorinjector/ErrorInjectorOverCollectionByInsertion.java b/src/minerful/logmaker/errorinjector/ErrorInjectorOverCollectionByInsertion.java
diff --git a/src/minerful/logmaker/errorinjector/ErrorInjectorOverCollectionByMixInsDel.java b/src/minerful/logmaker/errorinjector/ErrorInjectorOverCollectionByMixInsDel.java
diff --git a/src/minerful/logmaker/errorinjector/ErrorInjectorOverStringsByDeletion.java b/src/minerful/logmaker/errorinjector/ErrorInjectorOverStringsByDeletion.java
diff --git a/src/minerful/logmaker/errorinjector/ErrorInjectorOverStringsByInsertion.java b/src/minerful/logmaker/errorinjector/ErrorInjectorOverStringsByInsertion.java
diff --git a/src/minerful/logmaker/errorinjector/ErrorInjectorOverStringsByMixInsDel.java b/src/minerful/logmaker/errorinjector/ErrorInjectorOverStringsByMixInsDel.java
diff --git a/src/minerful/logmaker/errorinjector/IErrorInjector.java b/src/minerful/logmaker/errorinjector/IErrorInjector.java
diff --git a/src/minerful/logmaker/errorinjector/OldErrorInjector.java b/src/minerful/logmaker/errorinjector/OldErrorInjector.java
diff --git a/src/minerful/logmaker/errorinjector/params/ErrorInjectorCmdParameters.java b/src/minerful/logmaker/errorinjector/params/ErrorInjectorCmdParameters.java
diff --git a/src/minerful/logmaker/params/LogMakerParameters.java b/src/minerful/logmaker/params/LogMakerParameters.java
diff --git a/src/minerful/logparser/AbstractLogEventClassifier.java b/src/minerful/logparser/AbstractLogEventClassifier.java
diff --git a/src/minerful/logparser/AbstractLogParser.java b/src/minerful/logparser/AbstractLogParser.java
diff --git a/src/minerful/logparser/AbstractTraceParser.java b/src/minerful/logparser/AbstractTraceParser.java
diff --git a/src/minerful/logparser/CharTaskClass.java b/src/minerful/logparser/CharTaskClass.java
diff --git a/src/minerful/logparser/LogEventClassifier.java b/src/minerful/logparser/LogEventClassifier.java
diff --git a/src/minerful/logparser/LogEventParser.java b/src/minerful/logparser/LogEventParser.java
diff --git a/src/minerful/logparser/LogParser.java b/src/minerful/logparser/LogParser.java
diff --git a/src/minerful/logparser/LogTraceParser.java b/src/minerful/logparser/LogTraceParser.java
diff --git a/src/minerful/logparser/StringEventClassifier.java b/src/minerful/logparser/StringEventClassifier.java
diff --git a/src/minerful/logparser/StringEventParser.java b/src/minerful/logparser/StringEventParser.java
diff --git a/src/minerful/logparser/StringLogParser.java b/src/minerful/logparser/StringLogParser.java
diff --git a/src/minerful/logparser/StringTaskClass.java b/src/minerful/logparser/StringTaskClass.java
diff --git a/src/minerful/logparser/StringTraceParser.java b/src/minerful/logparser/StringTraceParser.java
diff --git a/src/minerful/logparser/TraceParser.java b/src/minerful/logparser/TraceParser.java
diff --git a/src/minerful/logparser/XesEventClassifier.java b/src/minerful/logparser/XesEventClassifier.java
diff --git a/src/minerful/logparser/XesEventParser.java b/src/minerful/logparser/XesEventParser.java
diff --git a/src/minerful/logparser/XesLogParser.java b/src/minerful/logparser/XesLogParser.java
diff --git a/src/minerful/logparser/XesTaskClass.java b/src/minerful/logparser/XesTaskClass.java
diff --git a/src/minerful/logparser/XesTraceParser.java b/src/minerful/logparser/XesTraceParser.java
diff --git a/src/minerful/logparser/utils/RandomLogSampler.java b/src/minerful/logparser/utils/RandomLogSampler.java
diff --git a/src/minerful/miner/AbstractConstraintsMiner.java b/src/minerful/miner/AbstractConstraintsMiner.java
diff --git a/src/minerful/miner/ConstraintsMiner.java b/src/minerful/miner/ConstraintsMiner.java
diff --git a/src/minerful/miner/DeterministicExistenceConstraintsMiner.java b/src/minerful/miner/DeterministicExistenceConstraintsMiner.java
diff --git a/src/minerful/miner/DeterministicRelationConstraintsMiner.java b/src/minerful/miner/DeterministicRelationConstraintsMiner.java
diff --git a/src/minerful/miner/ExistenceConstraintsMiner.java b/src/minerful/miner/ExistenceConstraintsMiner.java
diff --git a/src/minerful/miner/ProbabilisticExistenceConstraintsMiner.java b/src/minerful/miner/ProbabilisticExistenceConstraintsMiner.java
diff --git a/src/minerful/miner/ProbabilisticRelationBranchedConstraintsMiner.java b/src/minerful/miner/ProbabilisticRelationBranchedConstraintsMiner.java
diff --git a/src/minerful/miner/ProbabilisticRelationConstraintsMiner.java b/src/minerful/miner/ProbabilisticRelationConstraintsMiner.java
diff --git a/src/minerful/miner/RelationConstraintsMiner.java b/src/minerful/miner/RelationConstraintsMiner.java
diff --git a/src/minerful/miner/core/MinerFulKBCore.java b/src/minerful/miner/core/MinerFulKBCore.java
diff --git a/src/minerful/miner/core/MinerFulPruningCore.java b/src/minerful/miner/core/MinerFulPruningCore.java
diff --git a/src/minerful/miner/core/MinerFulQueryingCore.java b/src/minerful/miner/core/MinerFulQueryingCore.java
diff --git a/src/minerful/miner/engine/ProbabilisticRelationInBranchedConstraintsMiningEngine.java b/src/minerful/miner/engine/ProbabilisticRelationInBranchedConstraintsMiningEngine.java
diff --git a/src/minerful/miner/engine/ProbabilisticRelationOutBranchedConstraintsMiningEngine.java b/src/minerful/miner/engine/ProbabilisticRelationOutBranchedConstraintsMiningEngine.java
diff --git a/src/minerful/miner/params/MinerFulCmdParameters.java b/src/minerful/miner/params/MinerFulCmdParameters.java
diff --git a/src/minerful/miner/stats/GlobalStatsTable.java b/src/minerful/miner/stats/GlobalStatsTable.java
diff --git a/src/minerful/miner/stats/LocalStatsWrapper.java b/src/minerful/miner/stats/LocalStatsWrapper.java
diff --git a/src/minerful/miner/stats/LocalStatsWrapperForCharsets.java b/src/minerful/miner/stats/LocalStatsWrapperForCharsets.java
diff --git a/src/minerful/miner/stats/LocalStatsWrapperForCharsetsWAlternation.java b/src/minerful/miner/stats/LocalStatsWrapperForCharsetsWAlternation.java
diff --git a/src/minerful/miner/stats/OccurrencesStatsBuilder.java b/src/minerful/miner/stats/OccurrencesStatsBuilder.java
diff --git a/src/minerful/miner/stats/StatsCell.java b/src/minerful/miner/stats/StatsCell.java
diff --git a/src/minerful/miner/stats/charsets/FixedTaskSetIncrementalCountersCollection.java b/src/minerful/miner/stats/charsets/FixedTaskSetIncrementalCountersCollection.java
diff --git a/src/minerful/miner/stats/charsets/TaskSetCountersCollection.java b/src/minerful/miner/stats/charsets/TaskSetCountersCollection.java
diff --git a/src/minerful/miner/stats/charsets/TasksSetCounter.java b/src/minerful/miner/stats/charsets/TasksSetCounter.java
diff --git a/src/minerful/miner/stats/charsets/VariableCharactersSetFixedCountersCollection.java b/src/minerful/miner/stats/charsets/VariableCharactersSetFixedCountersCollection.java
diff --git a/src/minerful/miner/stats/jaxb.index b/src/minerful/miner/stats/jaxb.index
diff --git a/src/minerful/miner/stats/xmlenc/DistancesMapAdapter.java b/src/minerful/miner/stats/xmlenc/DistancesMapAdapter.java
diff --git a/src/minerful/miner/stats/xmlenc/FirstOccurrencesMapAdapter.java b/src/minerful/miner/stats/xmlenc/FirstOccurrencesMapAdapter.java
diff --git a/src/minerful/miner/stats/xmlenc/GlobalStatsMapAdapter.java b/src/minerful/miner/stats/xmlenc/GlobalStatsMapAdapter.java
diff --git a/src/minerful/miner/stats/xmlenc/LocalStatsMapAdapter.java b/src/minerful/miner/stats/xmlenc/LocalStatsMapAdapter.java
diff --git a/src/minerful/miner/stats/xmlenc/RepetitionsMapAdapter.java b/src/minerful/miner/stats/xmlenc/RepetitionsMapAdapter.java
diff --git a/src/minerful/miner/stats/xmlenc/statsxml2distance.dat.xsl b/src/minerful/miner/stats/xmlenc/statsxml2distance.dat.xsl
diff --git a/src/minerful/params/InputLogCmdParameters.java b/src/minerful/params/InputLogCmdParameters.java
diff --git a/src/minerful/params/ParamsManager.java b/src/minerful/params/ParamsManager.java
diff --git a/src/minerful/params/SystemCmdParameters.java b/src/minerful/params/SystemCmdParameters.java
diff --git a/src/minerful/params/ViewCmdParameters.java b/src/minerful/params/ViewCmdParameters.java
diff --git a/src/minerful/postprocessing/params/PostProcessingCmdParameters.java b/src/minerful/postprocessing/params/PostProcessingCmdParameters.java
diff --git a/src/minerful/postprocessing/pruning/ConflictAndRedundancyResolver.java b/src/minerful/postprocessing/pruning/ConflictAndRedundancyResolver.java
diff --git a/src/minerful/postprocessing/pruning/SubsumptionCheckSummaryMaker.java b/src/minerful/postprocessing/pruning/SubsumptionCheckSummaryMaker.java
diff --git a/src/minerful/postprocessing/pruning/SubsumptionHierarchyMarker.java b/src/minerful/postprocessing/pruning/SubsumptionHierarchyMarker.java
diff --git a/src/minerful/postprocessing/pruning/SubsumptionHierarchyMarkingPolicy.java b/src/minerful/postprocessing/pruning/SubsumptionHierarchyMarkingPolicy.java
diff --git a/src/minerful/postprocessing/pruning/ThresholdsMarker.java b/src/minerful/postprocessing/pruning/ThresholdsMarker.java
diff --git a/src/minerful/relevance/test/constraint/SequenceResponse21.java b/src/minerful/relevance/test/constraint/SequenceResponse21.java
diff --git a/src/minerful/relevance/test/constraint/SequenceResponse22.java b/src/minerful/relevance/test/constraint/SequenceResponse22.java
diff --git a/src/minerful/relevance/test/constraint/SequenceResponse32.java b/src/minerful/relevance/test/constraint/SequenceResponse32.java
diff --git a/src/minerful/stringsmaker/MinerFulStringTracesMaker.java b/src/minerful/stringsmaker/MinerFulStringTracesMaker.java
diff --git a/src/minerful/stringsmaker/params/StringTracesMakerCmdParameters.java b/src/minerful/stringsmaker/params/StringTracesMakerCmdParameters.java
diff --git a/src/minerful/utils/MessagePrinter.java b/src/minerful/utils/MessagePrinter.java
diff --git a/src/minerful/utils/RandomCharGenerator.java b/src/minerful/utils/RandomCharGenerator.java
diff --git a/src/minerful/utils/ResourceReader.java b/src/minerful/utils/ResourceReader.java
diff --git a/src/trashbin/minerful/MinerFulSimuSubCheckStarter.java b/src/trashbin/minerful/MinerFulSimuSubCheckStarter.java
diff --git a/src/trashbin/minerful/concept/AbandonedHeuristicsForAutomatonMaking.java b/src/trashbin/minerful/concept/AbandonedHeuristicsForAutomatonMaking.java
diff --git a/src/trashbin/minerful/io/encdec/OldManualDeclareConstraintTransferObjectTranslator.java b/src/trashbin/minerful/io/encdec/OldManualDeclareConstraintTransferObjectTranslator.java
diff --git a/src/trashbin/minerful/io/encdec/XesDecoder.java b/src/trashbin/minerful/io/encdec/XesDecoder.java
diff --git a/src/trashbin/minerful/io/encdec/declaremap/OldConDecEncoder.java b/src/trashbin/minerful/io/encdec/declaremap/OldConDecEncoder.java
diff --git a/src/trashbin/minerful/io/encdec/declaremap/OldDeclareMapEncoderDecoderMethods.java b/src/trashbin/minerful/io/encdec/declaremap/OldDeclareMapEncoderDecoderMethods.java
-Original file line number
+Diff line change
@@ Expand Up / @@ -249,4 +249,4 @@ private void propagateRedundancyLabel( @@
     		}
     		return;
     	}
-    }
+    }