public class AcceptingPetriNetMarkingSet
extends java.lang.Object
Constructor and Description |
---|
AcceptingPetriNetMarkingSet() |
Modifier and Type | Method and Description |
---|---|
static byte[] |
add(byte[] markingSet,
byte[] marking) |
static byte[] |
addAll(byte[] markingSetA,
byte[] markingSetB) |
static boolean |
contains(byte[] markingSet,
byte[] marking) |
static boolean |
containsFinalMarking(byte[] markingSet,
java.lang.Iterable<byte[]> finalMarkings) |
static byte[] |
create(byte[] marking) |
static java.util.Iterator<byte[]> |
getMarkings(byte[] markingSet) |
public static byte[] create(byte[] marking)
public static byte[] add(byte[] markingSet, byte[] marking)
markingSet
- marking
- public static byte[] addAll(byte[] markingSetA, byte[] markingSetB)
public static java.util.Iterator<byte[]> getMarkings(byte[] markingSet)
public static boolean contains(byte[] markingSet, byte[] marking)
public static boolean containsFinalMarking(byte[] markingSet, java.lang.Iterable<byte[]> finalMarkings)
markingSet
- finalMarkings
-