tool.loadConfig(args[0]);
LearnerGraph pta = tool.getPTA();
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);
LearnerGraph actualAutomaton = learnerOfPairs.learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
LearnerGraph edsm2Outcome = new EDSMReferenceLearner(learnerEval,ptaCopy,1).learnMachine(new LinkedList<List<Label>>(),new LinkedList<List<Label>>());
System.out.println("Outcome states: "+edsm2Outcome.getStateNumber());
Visualiser.updateFrame(actualAutomaton, edsm2Outcome);
Visualiser.waitForKey();