Uses of Interface
starlink.ColouredAutomata.State

Packages that use State

Bindings
starlink.ColouredAutomata

Uses of State in Bindings

Methods in Bindings with parameters of type State

AbstractMessage

BindingOperations.bindAction(ActionMessage AM, java.lang.String msg, State firstState, org.jdom.Document binding)

Uses of State in starlink.ColouredAutomata

Classes in starlink.ColouredAutomata that implement State

class	AbstractState
class	NoActionState
class	RecvState
class	SendState

Methods in starlink.ColouredAutomata that return State

State	StateMachine.getEndState()
State	StateMachine.getStartState()
State	StateMachine.getState(java.lang.String label)
State	NoActionState.invokeTransition(java.lang.Object input)
State	RecvState.invokeTransition(java.lang.Object input)
State	SendState.invokeTransition(java.lang.Object input)
State	State.invokeTransition(java.lang.Object input)

Methods in starlink.ColouredAutomata that return types with arguments of type State

java.util.HashMap<java.lang.String,State>	AbstractState.getNext()
java.util.HashMap<java.lang.String,State>	State.getNext()
java.util.Collection<State>	AbstractState.getPrev()
java.util.Collection<State>	State.getPrev()
java.util.HashMap<java.lang.String,State>	StateMachine.getStates()

Methods in starlink.ColouredAutomata with parameters of type State

void	AbstractState.addPrev(State prevState)
void	State.addPrev(State prevState)
void	AbstractState.addTransition(java.lang.String xpath, State nextState)
void	State.addTransition(java.lang.String xpath, State nextState)
void	StateMachine.setState(State state)
void	AbstractState.split(State epsilonState, State newS2)
void	State.split(State newS1, State newS2)
void	AbstractState.updateTransitions(State nextState, State newState)
void	State.updateTransitions(State nextState, State newState)

Method parameters in starlink.ColouredAutomata with type arguments of type State

void	StateMachine.mergeStates(java.util.Map<java.lang.String,State> states)
void	StateMachine.setStates(java.util.HashMap<java.lang.String,State> states)

Constructors in starlink.ColouredAutomata with parameters of type State

StateMachine(State state, java.util.HashMap<java.lang.String,State> states)

Constructor parameters in starlink.ColouredAutomata with type arguments of type State

StateMachine(State state, java.util.HashMap<java.lang.String,State> states)