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