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

Packages that use Event.Type

Package	Description
org.processmining.plugins.declare2ltl

Uses of Event.Type in org.processmining.plugins.declare2ltl

Methods in org.processmining.plugins.declare2ltl that return Event.Type

Modifier and Type	Method and Description
Event.Type	Event.getType()
static Event.Type	Event.Type.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Event.Type[]	Event.Type.values() Returns an array containing the constants of this enum type, in the order they are declared.

Constructors in org.processmining.plugins.declare2ltl with parameters of type Event.Type

Constructor and Description
Event(User anUser, org.processmining.plugins.declareminer.visualizing.ActivityDefinition anJob, Event.Type t) AbstractEvent