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;