Adds a plays relationship between core and role.
Adds a plays relationship between core and role.
type of the player
type of the role
the player instance to add the given role
the role instance to add
Returns a Seq of all players
Returns a Seq of all players
a Seq of all players
Checks if the role graph contains the given player.
Checks if the role graph contains the given player.
the player instance to check
true if the role graph contains the given player, false otherwise
Removes all players and plays-relationships specified in other from this RoleGraph.
Removes all players and plays-relationships specified in other from this RoleGraph.
the RoleGraph all players and plays-relationships specified in should removed from this
Returns a list of all predecessors of the given player, i.e.
Returns a list of all predecessors of the given player, i.e. a transitive closure of its cores (deep roles).
the player instance to calculate the cores of
the strategy used to get all predecessors while traversing the role-playing graph, standard is DFS
a list of all predecessors of the given player
Returns a Set of all roles attached to the given player (core object).
Returns a Set of all roles attached to the given player (core object).
the player instance to get the roles for
the strategy used to get all roles while traversing the role-playing graph, standard is DFS
a Set of all roles of core
Merges this with another RoleGraph given as other.
Merges this with another RoleGraph given as other.
the RoleGraph to merge with.
Removes a plays relationship between core and role.
Removes a plays relationship between core and role.
the player instance to remove the given role from
the role instance to remove
Removes the given player from the graph.
Removes the given player from the graph. This should remove its binding too!
the player to remove