s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Bug fix in exporting product during multi-objective model checking. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9504 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 11 years ago
parent
9f4a6dba5f
commit
5865c0fd89
1 changed files with 5 additions and 7 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 12
      prism/src/prism/NondetModelChecker.java

12
prism/src/prism/NondetModelChecker.java
View File

@ -627,18 +627,16 @@ public class NondetModelChecker extends NonProbModelChecker
if (prism.getExportProductTrans()) { if (prism.getExportProductTrans()) {
try { try {
mainLog.println("\nExporting product transition matrix to file \"" + prism.getExportProductTransFilename() + "\"..."); mainLog.println("\nExporting product transition matrix to file \"" + prism.getExportProductTransFilename() + "\"...");
prism.exportTransToFile(modelProduct, true, Prism.EXPORT_PLAIN, new File(prism.getExportProductTransFilename()));
modelProduct.exportToFile(Prism.EXPORT_PLAIN, true, new File(prism.getExportProductTransFilename()));
} catch (FileNotFoundException e) { } catch (FileNotFoundException e) {
mainLog.printWarning("Could not export product transition matrix to file \"" + prism.getExportProductTransFilename() + "\""); mainLog.printWarning("Could not export product transition matrix to file \"" + prism.getExportProductTransFilename() + "\"");
} }
} }
if (prism.getExportProductStates()) { if (prism.getExportProductStates()) {
try {
mainLog.println("\nExporting product state space to file \"" + prism.getExportProductStatesFilename() + "\"...");
prism.exportStatesToFile(modelProduct, Prism.EXPORT_PLAIN, new File(prism.getExportProductStatesFilename()));
} catch (FileNotFoundException e) {
mainLog.printWarning("Could not export product state space to file \"" + prism.getExportProductStatesFilename() + "\"");
}
mainLog.println("\nExporting product state space to file \"" + prism.getExportProductStatesFilename() + "\"...");
PrismFileLog out = new PrismFileLog(prism.getExportProductStatesFilename());
modelProduct.exportStates(Prism.EXPORT_PLAIN, out);
out.close();
} }
} }

Write Preview
Loading…
Cancel
Save