Uses of Class
org.processmining.plugins.ltlchecker.declare2ltl.User

Packages that use User

Package	Description
org.processmining.plugins.ltlchecker.declare2ltl

Uses of User in org.processmining.plugins.ltlchecker.declare2ltl

Subclasses of User in org.processmining.plugins.ltlchecker.declare2ltl

Modifier and Type	Class and Description
class	Administrator Title: DECLARE

Fields in org.processmining.plugins.ltlchecker.declare2ltl declared as User

Modifier and Type	Field and Description
protected User	Event.user

Methods in org.processmining.plugins.ltlchecker.declare2ltl that return User

Modifier and Type	Method and Description
User	Event.getUser()
static User	Administrator.singleton()

Methods in org.processmining.plugins.ltlchecker.declare2ltl with parameters of type User

Modifier and Type	Method and Description
void	Event.setUser(User u)

Constructors in org.processmining.plugins.ltlchecker.declare2ltl with parameters of type User

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