From d45b177dc875667d3f8a98ba434f03a12cf8c288 Mon Sep 17 00:00:00 2001 From: Mateusz Ujma Date: Sun, 21 Jul 2013 15:42:28 +0000 Subject: [PATCH] Added transitionIterator to the NondetModel interface git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7107 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/NondetModel.java | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/prism/src/explicit/NondetModel.java b/prism/src/explicit/NondetModel.java index eb7a9354..01e9f6c7 100644 --- a/prism/src/explicit/NondetModel.java +++ b/prism/src/explicit/NondetModel.java @@ -27,6 +27,8 @@ package explicit; import java.util.BitSet; +import java.util.Iterator; +import java.util.Map.Entry; /** * Interface for (abstract) classes that provide (read-only) access to an explicit-state model with nondeterminism. @@ -70,4 +72,9 @@ public interface NondetModel extends Model * @param set The set to test for inclusion */ public boolean someSuccessorsInSet(int s, int i, BitSet set); + + /** + * Get an iterator over the transitions of state s and action i. + */ + public Iterator> getTransitionsIterator(int s, int i); } \ No newline at end of file