public class DataMapProviderTransition
extends java.lang.Object
Constructor and Description |
---|
DataMapProviderTransition(PetriNetDataSource pnet,
IPerformanceStatisticsEnrichedNet psnet) |
Modifier and Type | Method and Description |
---|---|
TransitionDataMapDouble |
getMap(java.lang.String label1,
DataMapNormalization mode) |
void |
setVisibleClassifiers(java.util.HashSet<java.lang.String> vc) |
public DataMapProviderTransition(PetriNetDataSource pnet, IPerformanceStatisticsEnrichedNet psnet)
public void setVisibleClassifiers(java.util.HashSet<java.lang.String> vc)
public TransitionDataMapDouble getMap(java.lang.String label1, DataMapNormalization mode)