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
 	 */