Package | Description |
---|---|
org.processmining.plugins.ltlchecker.declare2ltl |
Modifier and Type | Method and Description |
---|---|
Role |
User.getRoleWithId(int id) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Role> |
User.getRoles() |
Modifier and Type | Method and Description |
---|---|
boolean |
User.addRole(Role anRole)
addRole
|
void |
User.deleteRole(Role anRole)
deleteRole
|
boolean |
User.hasRole(Role role) |