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.begin(int state) get the 1st (multi-)transition starting in 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()

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

Modifier and Type	Method and Description
boolean	DlCompletionTree.B2Complex(RAStateTransitions RST, int C)