From e893970d227f349bf4ce56bf827e9b950637d077 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 21 Jul 2015 10:01:32 +0000 Subject: [PATCH] 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 | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) 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 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