Uses of Interface
ides.api.model.fsa.FSAState

Packages that use FSAState

ides.api.model.fsa

Uses of FSAState in ides.api.model.fsa

Methods in ides.api.model.fsa that return FSAState

FSAState	FSAModel.assembleCopyOf(FSAState state) Assembles a new state with the same name and properties as the given state, which can then be added to the model.
FSAState	FSAModel.assembleState() Assembles a new state which can be added to the model.
FSAState	FSATransition.getSource() Sets a new source, i.e., state from which this transition originates, for this transition.
FSAState	FSAModel.getState(long id) Get the state with the given id.
FSAState	FSATransition.getTarget() returns the state this transition ends in.

Methods in ides.api.model.fsa that return types with arguments of type FSAState

java.util.ListIterator<FSAState>

FSAModel.getStateIterator() Get an iterator for the states in the FSA.

Methods in ides.api.model.fsa with parameters of type FSAState

void	FSAModel.add(FSAState s) Add a state.
FSAState	FSAModel.assembleCopyOf(FSAState state) Assembles a new state with the same name and properties as the given state, which can then be added to the model.
DESEventSet	FSASupervisor.getDisabledEvents(FSAState state) Returns the events disabled at a given state.
void	FSAModel.remove(FSAState s) removes the state from the automaton and all transitions leading to the state and originating from the state
void	FSASupervisor.setDisabledEvents(FSAState state, DESEventSet set) Sets the events disabled at a given state.
void	FSATransition.setSource(FSAState s) Sets a new source, i.e., state from which this transition originates, for this transition.
void	FSATransition.setTarget(FSAState s) Sets a new target, i.e., state from which this transition originates, for this transition.