From 42338f803c5f48ff2b3e9fb918f91f43c7e63765 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 26 Jul 2011 21:33:50 +0000 Subject: [PATCH] Code tidy. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3333 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/ModelSimple.java | 1 - prism/src/explicit/ModelSparse.java | 1 - 2 files changed, 2 deletions(-) diff --git a/prism/src/explicit/ModelSimple.java b/prism/src/explicit/ModelSimple.java index 696a1dcd..326719a1 100644 --- a/prism/src/explicit/ModelSimple.java +++ b/prism/src/explicit/ModelSimple.java @@ -200,7 +200,6 @@ public abstract class ModelSimple implements Model // Default implementation - just output .tra file // (some models might override this) exportToPrismExplicitTra(baseFilename + ".tra"); - // TODO: Also output transition rewards to .trew file, etc. } public abstract void exportToPrismExplicitTra(String filename) throws PrismException; diff --git a/prism/src/explicit/ModelSparse.java b/prism/src/explicit/ModelSparse.java index afb3f4e0..859a270c 100644 --- a/prism/src/explicit/ModelSparse.java +++ b/prism/src/explicit/ModelSparse.java @@ -151,7 +151,6 @@ public abstract class ModelSparse implements Model // Default implementation - just output .tra file // (some models might override this) exportToPrismExplicitTra(baseFilename + ".tra"); - // TODO: Also output transition rewards to .trew file, etc. } public abstract void exportToPrismExplicitTra(String filename) throws PrismException;