public TestsModelCheckingTaskWithConsistencyGraph(AbstractTaskConfig config) { super(config); FSM.setEvents(events); for (int i = 0; i < events.size(); i++) { eventsMap.put(events.get(i), i); } scenarioTree = new ScenariosTree(); try { scenarioTree.load("sc"); } catch (FileNotFoundException e) { // TODO Auto-generated catch block e.printStackTrace(); } catch (ParseException e) { // TODO Auto-generated catch block e.printStackTrace(); } consistencyGraph = AdjacentCalculator.getAdjacent(scenarioTree); consistencyGraphBoolean = new boolean[consistencyGraph.size()][consistencyGraph.size()]; hasInconsistency = new boolean[consistencyGraph.size()]; Arrays.fill(hasInconsistency, false); for (int i = 0; i < consistencyGraph.size(); i++) { Arrays.fill(consistencyGraphBoolean[i], false); } for (Node n1 : consistencyGraph.keySet()) { for (Node n2 : consistencyGraph.get(n1)) { consistencyGraphBoolean[n1.getNumber()][n2.getNumber()] = true; consistencyGraphBoolean[n2.getNumber()][n1.getNumber()] = true; } } for (int i = 0; i < consistencyGraph.size(); i++) { for (int j = 0; j < consistencyGraph.size(); j++) { if (consistencyGraphBoolean[i][j]) { hasInconsistency[i] = true; break; } } } for (AutomatonTest test : tests) { for (String s : test.getInput()) { String[] eventGuard = s.split("\\["); String event = eventGuard[0].trim(); efPairToEvent.put(s, event); MyBooleanExpression guard = null; try { if (eventGuard.length > 1) { guard = MyBooleanExpression.get(eventGuard[1].replace("]", "").trim()); } else { guard = MyBooleanExpression.get("1"); } } catch (ParseException e) { // TODO Auto-generated catch block e.printStackTrace(); } efPairToBooleanExpression.put(s, guard); } } // try { // out = new PrintWriter(new File("tests-consistency-scatter")); // } catch (FileNotFoundException e) { // e.printStackTrace(); // } }