public static class MarkingSet.MarkingIterator
extends java.lang.Object
implements java.util.Iterator<short[]>
Constructor and Description |
---|
MarkingIterator(short[] markingSet) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
short[] |
next() |