From a4781c450035d5daf940fb1cc02a8dc7e4c3cad0 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 23 Oct 2009 12:55:58 +0000
Subject: [PATCH] Code comments.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1541 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/STPG.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/prism/src/explicit/STPG.java b/prism/src/explicit/STPG.java
index 70bf7813..326a7e22 100644
--- a/prism/src/explicit/STPG.java
+++ b/prism/src/explicit/STPG.java
@@ -75,12 +75,14 @@ public class STPG extends Model
 	}
 
 	/**
-	 * Constructor: build an STPG from an MDP
+	 * Constructor: build an STPG from an MDP.
+	 * Data is copied directly from the MDP so take a copy first if you plan to keep/modify the MDP.
 	 */
 	public STPG(MDP m)
 	{
 		DistributionSet set;
 		int i;
+		// TODO: actions? rewards?
 		initialise(m.numStates);
 		for (i = 0; i < numStates; i++) {
 			set = newDistributionSet(null);