Package | Description |
---|---|
org.processmining.plugins.ltlchecker.declare2ltl |
Modifier and Type | Method and Description |
---|---|
static java.util.Collection<Event> |
Event.possibleEvents(org.processmining.plugins.declareminer.visualizing.Activity activity) |
Modifier and Type | Method and Description |
---|---|
static org.deckfour.xes.extension.std.XLifecycleExtension.StandardModel |
ProM.getType(Event event) |