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

Packages that use FSATransition

ides.api.model.fsa

Uses of FSATransition in ides.api.model.fsa

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

FSATransition	FSAModel.assembleEpsilonTransition(long source, long target) Assembles a new epsilon transition which can be added to the model.
FSATransition	FSAModel.assembleTransition(long source, long target, long event) Assembles a new transition which can be added to the model.
FSATransition	FSAModel.getTransition(long id) Get the transition with the given id.

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

java.util.ListIterator<FSATransition>	FSAState.getIncomingTransitionsListIterator() Returns an iterator for the transitions ending in this state.
java.util.ListIterator<FSATransition>	FSAState.getOutgoingTransitionsListIterator() Returns an iterator for the transitions originating from this state.
java.util.ListIterator<FSATransition>	FSAModel.getTransitionIterator() Get an iterator for the transitions in the FSA.

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

void	FSAModel.add(FSATransition t) Adds a transition the the automaton and adds the transition to the list of sources and targets in the source and target state of the transition.
void	FSAState.addIncomingTransition(FSATransition t) Adds a transition that ends in this state.
void	FSAState.addOutgoingTransition(FSATransition t) Adds a transition that originates from this state.
void	FSAModel.remove(FSATransition t) Removes a transition from the automaton.
void	FSAState.removeIncomingTransition(FSATransition t) Removes a transition that ends in this state.
void	FSAState.removeOutgoingTransition(FSATransition t) Removes a transition that originates from this state.