From 35fa9a80e5b2cace1045e363934f1793a36817ed Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 18 Jul 2013 16:19:09 +0000
Subject: [PATCH] Code tidy: imports.

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

diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index 106ae3d6..b7e7f05f 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -27,13 +27,17 @@
 package explicit;
 
 import java.io.File;
-import java.util.*;
+import java.util.BitSet;
+import java.util.List;
+import java.util.Map;
 
-import prism.*;
-import explicit.StateValues;
-import explicit.rewards.*;
-import parser.ast.*;
+import parser.ast.Expression;
+import parser.ast.ExpressionTemporal;
+import parser.ast.ExpressionUnaryOp;
 import parser.type.TypeDouble;
+import prism.PrismException;
+import prism.PrismUtils;
+import explicit.rewards.MCRewards;
 
 /**
  * Explicit-state model checker for discrete-time Markov chains (DTMCs).