public class StochasticTransition2IndexKey
extends java.lang.Object
Constructor and Description |
---|
StochasticTransition2IndexKey(EfficientStochasticPetriNetSemanticsImpl semantics,
Activity2IndexKey activityKey) |
Modifier and Type | Method and Description |
---|---|
StochasticPath |
getStochasticPath(int[] path) |
int[] |
path2trace(int[] path)
Transform a path into a trace by removing all silent transitions and
replacing visible transitions with their activities.
|
int |
transition2activityIndex(int transitionIndex) |
public StochasticTransition2IndexKey(EfficientStochasticPetriNetSemanticsImpl semantics, Activity2IndexKey activityKey)
semantics
- activityKey
- May be reused between runs and logs/models.public int[] path2trace(int[] path)
path
- public int transition2activityIndex(int transitionIndex)
public StochasticPath getStochasticPath(int[] path)