Uses of Class
org.processmining.plugins.declare2ltl.Event

Packages that use Event

Package	Description
org.processmining.plugins.declare2ltl

Uses of Event in org.processmining.plugins.declare2ltl

Methods in org.processmining.plugins.declare2ltl that return types with arguments of type Event

Modifier and Type	Method and Description
static java.util.Collection<Event>	Event.possibleEvents(org.processmining.plugins.declareminer.visualizing.Activity activity)

Methods in org.processmining.plugins.declare2ltl with parameters of type Event

Modifier and Type	Method and Description
static org.deckfour.xes.extension.std.XLifecycleExtension.StandardModel	ProM.getType(Event event)