public class Transition2LabelMap
extends java.lang.Object
Constructor and Description |
---|
Transition2LabelMap(EfficientStochasticPetriNetSemantics semantics,
int numberOfTransitions) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
labelIndex2label(int labelIndex)
Thread safe.
|
int |
transition2labelIndex(int transition)
Thread safe.
|
public Transition2LabelMap(EfficientStochasticPetriNetSemantics semantics, int numberOfTransitions)