public class TransitionMap
extends java.lang.Object
Constructor and Description |
---|
TransitionMap(org.processmining.models.graphbased.directed.petrinet.StochasticNet net,
EfficientStochasticPetriNetSemanticsImpl semantics) |
Modifier and Type | Method and Description |
---|---|
int |
getNumberOfTransitions() |
StochasticTransition |
getStochasticTransition(int index) |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getTransition(int index) |
public TransitionMap(org.processmining.models.graphbased.directed.petrinet.StochasticNet net, EfficientStochasticPetriNetSemanticsImpl semantics)
public StochasticTransition getStochasticTransition(int index)
public int getNumberOfTransitions()
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getTransition(int index)