Uses of Class
uk.ac.manchester.cs.jfact.kernel.RoleAutomaton

Packages that use RoleAutomaton

Package	Description
uk.ac.manchester.cs.jfact.kernel

Uses of RoleAutomaton in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return RoleAutomaton

Modifier and Type	Method and Description
RoleAutomaton	Role.getAutomaton()

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type RoleAutomaton

Modifier and Type	Method and Description
void	RoleAutomaton.addCopy(RoleAutomaton ra)
void	RoleAutomaton.addRA(RoleAutomaton ra) add RA from a subrole to given one
boolean	RoleAutomaton.addToChain(RoleAutomaton ra, boolean oSafe) add an Automaton to the chain with a default state
boolean	RoleAutomaton.addToChain(RoleAutomaton ra, boolean oSafe, int fRA) add an Automaton to the chain that would start from the iRA; OSAFE shows the safety of a previous automaton in a chain