From 6196d0cdde95e89027794104d06c1605a2bbea55 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 11 Aug 2011 22:26:56 +0000 Subject: [PATCH] Code doc. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3457 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/Path.java | 1 + prism/src/simulator/SimulatorEngine.java | 1 + 2 files changed, 2 insertions(+) diff --git a/prism/src/simulator/Path.java b/prism/src/simulator/Path.java index 15ed97f4..1a049de1 100644 --- a/prism/src/simulator/Path.java +++ b/prism/src/simulator/Path.java @@ -78,6 +78,7 @@ public abstract class Path /** * For paths with continuous-time info, get the total time elapsed so far * (where zero time has been spent in the current (final) state). + * For discrete-time models, just returns 0.0. */ public abstract double getTotalTime(); diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java index e2e0dc68..62c1a730 100644 --- a/prism/src/simulator/SimulatorEngine.java +++ b/prism/src/simulator/SimulatorEngine.java @@ -957,6 +957,7 @@ public class SimulatorEngine /** * For paths with continuous-time info, get the total time elapsed so far * (where zero time has been spent in the current (final) state). + * For discrete-time models, just returns 0.0. */ public double getTotalTimeForPath() {