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

Packages that use RAStateTransitions

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

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

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

Modifier and Type	Method and Description
RAStateTransitions	RoleAutomaton.get(int i)
RAStateTransitions	RoleAutomaton.getRAStateTransitions(int state)

Methods in uk.ac.manchester.cs.jfact.kernel that return types with arguments of type RAStateTransitions

Modifier and Type	Method and Description
List<RAStateTransitions>	RoleAutomaton.getBase()