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() {