new MarkovClassifier(m, pta).updateMarkov(false);
LearnerEvaluationConfiguration learnerEval = new LearnerEvaluationConfiguration(config);learnerEval.setLabelConverter(converter);
LearnerMarkovPassive learnerOfPairs = new LearnerMarkovPassive(learnerEval,null,pta);learnerOfPairs.setMarkovModel(m);
learnerOfPairs.setScoreComputationOverride(new RedPriorityOverBluePairSelectionRoutine(m));
System.out.println("PTA states: "+pta.getStateNumber());
System.out.println("Alphabet of "+pta.getCache().getAlphabet().size()+" : "+pta.getCache().getAlphabet());
final Configuration deepCopy = pta.config.copy();deepCopy.setLearnerCloneGraph(true);
LearnerGraph ptaCopy = new LearnerGraph(deepCopy);LearnerGraph.copyGraphs(pta, ptaCopy);