public class MarkingSet
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
MarkingSet.MarkingIterator |
Constructor and Description |
---|
MarkingSet() |
Modifier and Type | Method and Description |
---|---|
static short[] |
add(short[] markingSet,
short[] marking)
Add the marking to the markingSet.
|
static short[] |
addAll(short[] markingSetA,
short[] markingSetB) |
static boolean |
contains(short[] markingSet,
short[] marking) |
static boolean |
containsFinalMarking(short[] markingSet,
java.lang.Iterable<short[]> finalMarkings) |
static short[] |
create(short[] marking) |
static MarkingSet.MarkingIterator |
getMarkings(short[] markingSet) |
public static short[] create(short[] marking)
public static short[] add(short[] markingSet, short[] marking)
markingSet
- marking
- public static short[] addAll(short[] markingSetA, short[] markingSetB)
public static MarkingSet.MarkingIterator getMarkings(short[] markingSet)
public static boolean contains(short[] markingSet, short[] marking)
public static boolean containsFinalMarking(short[] markingSet, java.lang.Iterable<short[]> finalMarkings)
markingSet
- finalMarkings
-