diff --git a/prism/src/explicit/ModelSimple.java b/prism/src/explicit/ModelSimple.java
index c3085fea..4ef2ba47 100644
--- a/prism/src/explicit/ModelSimple.java
+++ b/prism/src/explicit/ModelSimple.java
@@ -26,6 +26,10 @@
 
 package explicit;
 
+import java.util.BitSet;
+import java.util.List;
+
+import parser.State;
 import prism.PrismException;
 
 /**
@@ -57,4 +61,17 @@ public interface ModelSimple extends Model
 	 * Add multiple new states.
 	 */
 	public abstract void addStates(int numToAdd);
+
+	/**
+	 * Set the associated (read-only) state list.
+	 */
+	public void setStatesList(List<State> statesList);
+
+	/**
+	 * Adds a label and the set the states that satisfy it.
+	 * Any existing label with the same name is overwritten.
+	 * @param name The name of the label
+	 * @param states The states that satisfy the label 
+	 */
+	public void addLabel(String name, BitSet states);
 }
\ No newline at end of file