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

Packages that use Role

Package	Description
org.processmining.plugins.declare2ltl

Uses of Role in org.processmining.plugins.declare2ltl

Methods in org.processmining.plugins.declare2ltl that return Role

Modifier and Type	Method and Description
Role	User.getRoleWithId(int id)

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

Modifier and Type	Method and Description
java.util.Collection<Role>	User.getRoles()

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

Modifier and Type	Method and Description
boolean	User.addRole(Role anRole) addRole
void	User.deleteRole(Role anRole) deleteRole
boolean	User.hasRole(Role role)