Added states and transition information in the verification trace name

src/main/java/avatartranslator/modelchecker/CounterexampleQueryReport.java

@@ -4,6 +4,8 @@ public class CounterexampleQueryReport {
     private String name;
     private String query;
     private String report;
+    private int nbOfStates;
+    private int nbOfTransitions;
     
     public CounterexampleQueryReport(String name) {
         this.name = name;
@@ -36,4 +38,21 @@ public class CounterexampleQueryReport {
         this.report = report;
     }
 
+    public int getNbOfStates() {
+        return nbOfStates;
+    }
+
+    public void setNbOfStates(int nbOfStates) {
+        this.nbOfStates = nbOfStates;
+    }
+
+    public int getNbOfTransitions() {
+        return nbOfTransitions;
+    }
+
+    public void setNbOfTransitions(int nbOfTransitions) {
+        this.nbOfTransitions = nbOfTransitions;
+    }
+
+
 }

src/main/java/avatartranslator/modelchecker/CounterexampleTrace.java

@@ -266,6 +266,8 @@ public class CounterexampleTrace {
         s.insert(0 ,"des(0," + (trace.size() - 1) + "," + statesID.size() + ")\n");
         
         CounterexampleQueryReport cr = new CounterexampleQueryReport(null, query, s.toString());
+        cr.setNbOfStates(statesID.size());
+        cr.setNbOfTransitions(trace.size() - 1);
         autTraces.add(cr);
     }
     

src/main/java/ui/window/JDialogAvatarModelChecker.java

@@ -978,6 +978,8 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
                                 RG rg = new RG(file);
                                 rg.data = tr.getReport();
                                 rg.fileName = filename;
+                                rg.nbOfStates = tr.getNbOfStates();
+                                rg.nbOfTransitions = tr.getNbOfTransitions();
                                 rg.name = tr.getQuery() + "_" + dateAndTime;
                                 mgui.addRG(rg);
                                 File f = new File(filename);