Uses of Class
starlink.AutomataElements.Transition

Packages that use Transition

starlink.AutomataElements

Uses of Transition in starlink.AutomataElements

Fields in starlink.AutomataElements with type parameters of type Transition

protected java.util.List<Transition>

State.transition

Methods in starlink.AutomataElements that return Transition

Transition

ObjectFactory.createTransition() Create an instance of Transition

Methods in starlink.AutomataElements that return types with arguments of type Transition

java.util.List<Transition>

State.getTransition() Gets the value of the transition property.