org.processmining.projectedrecallandprecision.helperclasses

Class AcceptingPetriNetMarkingSet

java.lang.Object

org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetMarkingSet

public class AcceptingPetriNetMarkingSet
extends java.lang.Object

Packs several markings (byte[]) into a single byte[], while keeping them sorted for easy comparison. Idea: the marking set first contains the number of bytes of the first marking (in 4 bytes), then the first marking, then the number of bytes of the second marking (in 4 bytes), the second marking, etc.

Author:

sander

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AcceptingPetriNetMarkingSet.Result

Constructor Summary

Constructors

Constructor and Description
AcceptingPetriNetMarkingSet()

Method Summary

Modifier and Type	Method and Description
static byte[]	add(byte[] markingSet, byte[] marking)
static byte[]	add(byte[] markingSet, byte[] marking, AcceptingPetriNetMarkingSet.Result resultReference)
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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AcceptingPetriNetMarkingSet

public AcceptingPetriNetMarkingSet()

Method Detail

create

public static byte[] create(byte[] marking)

add

public static byte[] add(byte[] markingSet,
                         byte[] marking)

Parameters:

markingSet -

marking -

Returns:

the updated markingSet or the original one if the to-be-added marking was already present.

add

public static byte[] add(byte[] markingSet,
                         byte[] marking,
                         AcceptingPetriNetMarkingSet.Result resultReference)

Parameters:

markingSet -

marking -

resultReference - true if the markingSet changed, false if the markingSet did not change.

Returns:

the updated markingSet or the original one if the to-be-added marking was already present.

addAll

public static byte[] addAll(byte[] markingSetA,
                            byte[] markingSetB)

getMarkings

public static java.util.Iterator<byte[]> getMarkings(byte[] markingSet)

contains

public static boolean contains(byte[] markingSet,
                               byte[] marking)

containsFinalMarking

public static boolean containsFinalMarking(byte[] markingSet,
                                           java.lang.Iterable<byte[]> finalMarkings)

Parameters:

markingSet -

finalMarkings -

Returns:

whether at least one of the markings in the markingSet is a final marking.