From 54520981b92119bfd4e9e765b200e3e642dc5e8e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 4 Jan 2012 07:56:24 +0000 Subject: [PATCH] Autoformat git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4322 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/CTMCModelChecker.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/src/explicit/CTMCModelChecker.java b/prism/src/explicit/CTMCModelChecker.java index f4a24c43..bdad7cf1 100644 --- a/prism/src/explicit/CTMCModelChecker.java +++ b/prism/src/explicit/CTMCModelChecker.java @@ -157,7 +157,7 @@ public class CTMCModelChecker extends DTMCModelChecker { return doTransient(ctmc, time, (StateValues) null); } - + /** * Compute transient probability distribution (forwards). * Optionally, use the passed in file initDistFile to give the initial probability distribution (time 0). @@ -177,10 +177,10 @@ public class CTMCModelChecker extends DTMCModelChecker // Populate vector from file initDist.readFromFile(initDistFile); } - + return doTransient(ctmc, t, initDist); } - + /** * Compute transient probability distribution (forwards). * Optionally, use the passed in vector initDist as the initial probability distribution (time 0). @@ -304,7 +304,7 @@ public class CTMCModelChecker extends DTMCModelChecker res.soln = Utils.bitsetToDoubleArray(target, ctmc.getNumStates()); return res; } - + // Start backwards transient computation timer = System.currentTimeMillis(); mainLog.println("Starting backwards transient probability computation...");