public class EfficientEventSet
extends java.lang.Object
Constructor and Description |
---|
EfficientEventSet(org.deckfour.xes.model.XLog log) |
Modifier and Type | Method and Description |
---|---|
org.deckfour.xes.model.XLog |
extractXLog(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn,
EfficientLogExtractor extractor) |
java.util.Set<EfficientEvent> |
getEfficientEventsByActivity(java.lang.String activityName) |
int |
getSize() |
EfficientEventSet |
run(org.processmining.framework.plugin.PluginContext context,
org.deckfour.xes.model.XLog log) |
public java.util.Set<EfficientEvent> getEfficientEventsByActivity(java.lang.String activityName)
public EfficientEventSet run(org.processmining.framework.plugin.PluginContext context, org.deckfour.xes.model.XLog log)
public org.deckfour.xes.model.XLog extractXLog(org.processmining.acceptingpetrinet.models.AcceptingPetriNet apn, EfficientLogExtractor extractor)
public int getSize()