From 719e1861178c738fc5800d97d53ccb8e57cb2c9f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 6 Mar 2010 22:16:50 +0000
Subject: [PATCH] Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1793 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/STPGAbstractRefine.java | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/prism/src/explicit/STPGAbstractRefine.java b/prism/src/explicit/STPGAbstractRefine.java
index 28abe135..3022fbea 100644
--- a/prism/src/explicit/STPGAbstractRefine.java
+++ b/prism/src/explicit/STPGAbstractRefine.java
@@ -356,8 +356,8 @@ public abstract class STPGAbstractRefine
 	 * @param rebuildStates: States that need rebuilding as a result should be added here.
 	 * @return: Number of states into which split (i.e. 1 denotes split failed).
 	 */
-	protected abstract int splitState(int splitState, List<List<Integer>> choiceLists, Set<Integer> rebuiltStates, Set<Integer> rebuildStates)
-			throws PrismException;
+	protected abstract int splitState(int splitState, List<List<Integer>> choiceLists, Set<Integer> rebuiltStates,
+			Set<Integer> rebuildStates) throws PrismException;
 
 	/**
 	 * Rebuild the abstraction after a refinement.
@@ -920,8 +920,9 @@ public abstract class STPGAbstractRefine
 		rebuildAbstraction(rebuildStates);
 		timer = System.currentTimeMillis() - timer;
 		timeRebuild += timer / 1000.0;
-		mainLog.println(rebuildStates.size() + " states of " + abstractionType + " rebuilt in " + (timer / 1000.0)
-				+ " secs.");
+		mainLog.print(rebuiltStates.size() + "+" + rebuildStates.size() + "=");
+		mainLog.print((rebuiltStates.size() + rebuildStates.size()));
+		mainLog.println(" states of " + abstractionType + " rebuilt in " + (timer / 1000.0) + " secs.");
 		mainLog.println("New " + abstractionType + " has " + abstraction.getNumStates() + " states.");
 	}
 
@@ -935,7 +936,8 @@ public abstract class STPGAbstractRefine
 	 * @param rebuildStates: States that need rebuilding as a result will be added here.
 	 * @return: Number of states into which split (i.e. 1 denotes refinement failed).
 	 */
-	protected int refineState(int refineState, Set<Integer> rebuiltStates, Set<Integer> rebuildStates) throws PrismException
+	protected int refineState(int refineState, Set<Integer> rebuiltStates, Set<Integer> rebuildStates)
+			throws PrismException
 	{
 		List<List<Integer>> choiceLists;
 		List<Integer> lbStrat = null, ubStrat = null;