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

Packages that use RATransition

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

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

Fields in uk.ac.manchester.cs.jfact.kernel with type parameters of type RATransition

Modifier and Type	Field and Description
protected List<RATransition>	RAStateTransitions.base all transitions

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

Modifier and Type	Method and Description
List<RATransition>	RAStateTransitions.begin() RW begin

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

Modifier and Type	Method and Description
void	RATransition.add(RATransition trans) add label of transition TRANS to transition's label
void	RAStateTransitions.add(RATransition trans) add a transition from a given state
boolean	RAStateTransitions.addToExisting(RATransition trans) add information from TRANS to existing transition between the same states.
void	RoleAutomaton.addTransition(int from, RATransition trans) add TRANSition leading from a state FROM; all states are known to fit the ton
void	RoleAutomaton.addTransitionSafe(int state, RATransition trans) add TRANSition leading from a given STATE; check whether all states are correct