From 3539596e16bcd3e3f07f30734c32bad645d18a34 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 3 Jun 2014 14:06:31 +0000
Subject: [PATCH] Add optinal storage of a StateVector to Result class.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8401 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Result.java | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/prism/src/prism/Result.java b/prism/src/prism/Result.java
index 214a402e..ed62c78f 100644
--- a/prism/src/prism/Result.java
+++ b/prism/src/prism/Result.java
@@ -45,6 +45,8 @@ public class Result
 	private Object cex;
 	// Strategy (optional)
 	private Strategy strat;
+	// Solution vector (optional)
+	private StateVector vect;
 	
 	/**
 	 * Construct an empty Result object.
@@ -55,6 +57,7 @@ public class Result
 		this.explanation = null;
 		this.cex = null;
 		this.strat = null;
+		this.vect = null;
 	}
 	
 	/**
@@ -98,6 +101,14 @@ public class Result
 		this.strat = strat;
 	}
 	
+	/**
+	 * Set the result vector (null denotes n/a).
+	 */
+	public void setVector(StateVector vect)
+	{
+		this.vect = vect;
+	}
+	
 	/**
 	 * Get the result.
 	 */
@@ -130,6 +141,14 @@ public class Result
 		return strat;
 	}
 	
+	/**
+	 * Get the result vector (null denotes n/a).
+	 */
+	public StateVector getVector()
+	{
+		return vect;
+	}
+	
 	/**
 	 * Get a string of the result and (if present) explanatory text
 	 */