Uses of Class
starlink.AutomataElements.State

Packages that use State
starlink.AutomataElements   
 

Uses of State in starlink.AutomataElements
 

Fields in starlink.AutomataElements with type parameters of type State
protected  java.util.List<State> Protocol.state
           
 

Methods in starlink.AutomataElements that return State
 State ObjectFactory.createState()
          Create an instance of State
 

Methods in starlink.AutomataElements that return types with arguments of type State
 java.util.List<State> Protocol.getState()
          Gets the value of the state property.