Slight tweak to output of MDP dot files (consistency with explicit lib).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1675 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/sparse/PS_ExportMDP.cc

@@ -123,10 +123,10 @@ jstring fn		// filename
 			else { l2 = h2; h2 += choice_counts[j]; }
 			if (export_type == EXPORT_ROWS) export_string("%d", i);
 			else if (export_type == EXPORT_DOT || export_type == EXPORT_DOT_STATES) {
-				export_string("%d -> %d.%d [ arrowhead=none,label=\"%d", i, i, j-l1, j-l1);
+				export_string("%d -> n%d_%d [ arrowhead=none,label=\"%d", i, i, j-l1, j-l1);
 				if (actions != NULL) export_string(":%s", (actions[j]>0?action_names[actions[j]-1]:""));
 				export_string("\" ];\n");
-				export_string("%d.%d [ shape=circle,width=0.1,height=0.1,label=\"\" ];\n", i, j-l1);
+				export_string("n%d_%d [ shape=point,label=\"\" ];\n", i, j-l1);
 			}
 			for (k = l2; k < h2; k++) {
 				switch (export_type) {
@@ -136,7 +136,7 @@ jstring fn		// filename
 					export_string("\n");
 					break;
 				case EXPORT_MATLAB: export_string("%s%d(%d,%d)=%.12g;\n", export_name, j-l1+1, i+1, cols[k]+1, non_zeros[k]); break;
-				case EXPORT_DOT: case EXPORT_DOT_STATES: export_string("%d.%d -> %d [ label=\"%.12g\" ];\n", i, j-l1, cols[k], non_zeros[k]); break;
+				case EXPORT_DOT: case EXPORT_DOT_STATES: export_string("n%d_%d -> %d [ label=\"%.12g\" ];\n", i, j-l1, cols[k], non_zeros[k]); break;
 				case EXPORT_ROWS: export_string(" %.12g:%d", non_zeros[k], cols[k]); break;
 				}
 			}