public class EfficientTimedMarking
extends java.lang.Object
Constructor and Description |
---|
EfficientTimedMarking(java.util.List<java.lang.Integer>[] state) |
EfficientTimedMarking(short[] currentMarking,
int time) |
Modifier and Type | Method and Description |
---|---|
static void |
clearCachedMarkings() |
EfficientTimedMarking |
clone() |
boolean |
equalsMarking(short[] marking)
Checks if the number of tokens specified in the marking parameter equals the internal timed marking
(ignoring the times on the tokens).
|
int |
executeTransitionAtTime(short[] transitionVector,
java.lang.Integer timeOfFiring)
Executes a transition at a given time.
|
int |
executeTransitionWithDuration(short[] transitionVector,
int transitionDuration)
Executes a transition with a given duration.
|
int |
getDurationOfFiring(short[] transitionVector,
java.lang.Short[] inputPlaces,
int firingTime) |
int |
getNumberOfTokens(int i) |
int |
length() |
void |
pack() |
short[] |
reduceToStructure() |
java.lang.String |
toString() |
void |
unpack() |
public EfficientTimedMarking(java.util.List<java.lang.Integer>[] state)
public EfficientTimedMarking(short[] currentMarking, int time)
public static void clearCachedMarkings()
public boolean equalsMarking(short[] marking)
marking
- short[] stores the number of tokens on each placepublic int length()
public EfficientTimedMarking clone()
clone
in class java.lang.Object
public int executeTransitionWithDuration(short[] transitionVector, int transitionDuration) throws org.processmining.models.semantics.IllegalTransitionException
transitionVector
- vector capturing the inputs and outputs of a transitiontransitionDuration
- org.processmining.models.semantics.IllegalTransitionException
public int executeTransitionAtTime(short[] transitionVector, java.lang.Integer timeOfFiring) throws org.processmining.models.semantics.IllegalTransitionException
transitionVector
- vector capturing the inputs and outputs of a transitiontimeOfFiring
- the time of firing of the transitionorg.processmining.models.semantics.IllegalTransitionException
public int getDurationOfFiring(short[] transitionVector, java.lang.Short[] inputPlaces, int firingTime)
public int getNumberOfTokens(int i)
public short[] reduceToStructure()
public void pack()
public void unpack()
public java.lang.String toString()
toString
in class java.lang.Object