From 30010b26a00729fa076fd655298209d24a1bee4a Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 7 Jan 2010 10:46:08 +0000 Subject: [PATCH] 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 | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/sparse/PS_ExportMDP.cc b/prism/src/sparse/PS_ExportMDP.cc index c61014b3..ec0590cc 100644 --- a/prism/src/sparse/PS_ExportMDP.cc +++ b/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; } }