+ public void writeNumLocsPathsCSVFile() {
+
+ try {
+ BufferedWriter bw = new BufferedWriter(new FileWriter("sinfernumbers.csv"));
+
+ Set<Descriptor> keySet = mapNumLocsMapSInfer.keySet();
+ for (Iterator iterator = keySet.iterator(); iterator.hasNext();) {
+ Descriptor desc = (Descriptor) iterator.next();
+ int numLocs = mapNumLocsMapSInfer.get(desc);
+ int numPaths = mapNumPathsMapSInfer.get(desc);
+ bw.write(desc.getSymbol().replaceAll("[,]", "") + "," + numLocs + "," + numPaths + "\n");
+ }
+ bw.close();
+
+ if (state.SSJAVA_INFER_NAIVE_WRITEDOTS) {
+ BufferedWriter bw2 = new BufferedWriter(new FileWriter("naivenumbers.csv"));
+ Set<Descriptor> keySet2 = mapNumLocsMapNaive.keySet();
+ for (Iterator iterator = keySet2.iterator(); iterator.hasNext();) {
+ Descriptor desc = (Descriptor) iterator.next();
+ int numLocs = mapNumLocsMapNaive.get(desc);
+ int numPaths = mapNumPathsMapNaive.get(desc);
+ bw2.write(desc.getSymbol().replaceAll("[,]", "") + "," + numLocs + "," + numPaths + "\n");
+ }
+ bw2.close();
+ }
+
+ } catch (IOException e) {
+ // TODO Auto-generated catch block
+ e.printStackTrace();
+ }
+
+ }
+