From de11a8685ec939d22b1436af501976ad9756ea51 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 29 Oct 2010 21:34:31 +0000
Subject: [PATCH] Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2203 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/SimulatorEngine.java | 23 ++++++++++++-----------
 1 file changed, 12 insertions(+), 11 deletions(-)

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index d150e3d1..141b0db6 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -96,7 +96,6 @@ public class SimulatorEngine
 	// Variable info
 	private VarList varList;
 	private int numVars;
-	private Map<String, Integer> varIndices;
 	// Constant definitions from model file
 	private Values mfConstants;
 
@@ -134,13 +133,22 @@ public class SimulatorEngine
 	{
 		this.prism = prism;
 		setMainLog(prism.getMainLog());
-		// TODO: finish this code once class members finalised
-		rng = new RandomNumberGenerator();
-		varIndices = null;
 		modulesFile = null;
+		modelType = null;
+		varList = null;
+		numVars = 0;
 		mfConstants = null;
+		labels = null;
 		properties = null;
 		propertySamplers = null;
+		path = null;
+		onTheFly = true;
+		currentState = null;
+		transitionList = null;
+		tmpStateRewards = null;
+		tmpTransitionRewards = null;
+		updater = null;
+		rng = new RandomNumberGenerator();
 	}
 
 	/**
@@ -596,13 +604,6 @@ public class SimulatorEngine
 		varList = modulesFile.createVarList();
 		numVars = varList.getNumVars();
 
-		// Build mapping between var names
-		// TODO: push into VarList?
-		varIndices = new HashMap<String, Integer>();
-		for (int i = 0; i < numVars; i++) {
-			varIndices.put(varList.getName(i), i);
-		}
-
 		// Evaluate constants and optimise (a copy of) modules file for simulation
 		modulesFile = (ModulesFile) modulesFile.deepCopy().replaceConstants(mfConstants).simplify();