QSMTool tool = new QSMTool();tool.loadConfig(args[0]);
if (tool.showLTL)
{
Learner l = new RPNIUniversalLearner(null,tool.learnerInitConfiguration);
LTL_to_ba ba = new LTL_to_ba(tool.learnerInitConfiguration.config);ba.ltlToBA(tool.learnerInitConfiguration.ltlSequences, l.init(tool.sPlus, tool.sMinus));
Visualiser.updateFrame(ba.augmentGraph(new LearnerGraph(tool.learnerInitConfiguration.config)), null);
}
else
tool.runExperiment();
}