Code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3711 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/MDPSimple.java

@@ -780,8 +780,8 @@ public class MDPSimple extends MDPExplicit implements ModelSimple
 	}
 
 	@Override
-	public void mvMultRight(int[] states, int[] adv, double[] source,
-			double[] dest) {
+	public void mvMultRight(int[] states, int[] adv, double[] source, double[] dest)
+	{
 		for (int s : states) {
 			Iterator<Entry<Integer, Double>> it = this.getTransitionsIterator(s, adv[s]);
 			while (it.hasNext()) {
@@ -833,9 +833,11 @@ public class MDPSimple extends MDPExplicit implements ModelSimple
 				if (set.get(i) == null) {
 					Object a = getAction(s, i);
 					if (action == null) {
-		    			if (a == null) return i;
+						if (a == null)
+							return i;
 					} else {
-		    			if (action.equals(a)) return i;
+						if (action.equals(a))
+							return i;
 					}
 				}
 			}
@@ -844,9 +846,11 @@ public class MDPSimple extends MDPExplicit implements ModelSimple
 				if (distr.equals(set.get(i))) {
 					Object a = getAction(s, i);
 					if (action == null) {
-		    			if (a == null) return i;
+						if (a == null)
+							return i;
 					} else {
-		    			if (action.equals(a)) return i;
+						if (action.equals(a))
+							return i;
 					}
 				}
 			}