Add some (already implemented) methods to ModelSimple interface.

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

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);
 }