Use reward structure name for experiment result name, i.e. Y-axis, where appropriate.

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

prism/src/parser/PCTLReward.java

@@ -108,8 +108,16 @@ public class PCTLReward extends PCTLFormulaUnary
 	
 	public String getResultName()
 	{
-		// default is just "Result", will be overridden where necessary
-		return (reward == null) ? "Expected reward" : "Result";
+		// For R=? properties, use name of reward structure where applicable
+		if (reward == null) {
+			if (rewardStructIndex instanceof String) return "Expected "+rewardStructIndex;
+			// or just call it "Expected reward"
+			else return "Expected reward";
+		}
+		// For R>r etc., just use "Result"
+		else {
+			return "Result";
+		}
 	}
 
 	// check all labels (make sure the referred labels exist)