Uses of Interface
ides.api.model.supeventset.SupervisoryEvent

Packages that use SupervisoryEvent

ides.api.model.fsa
ides.api.model.supeventset

Uses of SupervisoryEvent in ides.api.model.fsa

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

SupervisoryEvent	FSAModel.assembleCopyOf(DESEvent event) Assembles a new event with the same name and properties as the given event, which can then be added to the model.
SupervisoryEvent	FSAModel.assembleEvent(java.lang.String symbol) Assembles a new event which can be added to the model.
SupervisoryEvent	FSATransition.getEvent() returns the event upon which this transition fires.
SupervisoryEvent	FSAModel.getEvent(long id) Get the event with the given event id.

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

java.util.ListIterator<SupervisoryEvent>

FSAModel.getEventIterator() Get an iterator for the events in the event set of the FSA.

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

void	FSAModel.add(SupervisoryEvent e) Adds an event to the event set of the automaton.
void	FSAModel.remove(SupervisoryEvent e) Removes an event from the automaton.
void	FSATransition.setEvent(SupervisoryEvent e) set the event upon which this transition fires.

Uses of SupervisoryEvent in ides.api.model.supeventset

Methods in ides.api.model.supeventset that return SupervisoryEvent

SupervisoryEvent	SupervisoryEventSet.assembleCopyOf(DESEvent event) Assembles a new event with the same name and properties as the given event, which can then be added to the model.
SupervisoryEvent	SupervisoryEventSet.assembleEvent(java.lang.String symbol) Assembles a new event which can be added to the model.
SupervisoryEvent	SupervisoryEventSet.getEvent(long id) Get the event with the given event id.

Methods in ides.api.model.supeventset that return types with arguments of type SupervisoryEvent

java.util.Iterator<SupervisoryEvent>	SupervisoryEventSet.iteratorControllable() Get an iterator for all the controllable SupervisoryEvents in the set.
java.util.Iterator<SupervisoryEvent>	SupervisoryEventSet.iteratorObservable() Get an iterator for all the observable SupervisoryEvents in the set.
java.util.Iterator<SupervisoryEvent>	SupervisoryEventSet.iteratorSupervisory() Get an iterator for all the SupervisoryEvents in the set.
java.util.Iterator<SupervisoryEvent>	SupervisoryEventSet.iteratorUncontrollable() Get an iterator for all the uncontrollable SupervisoryEvents in the set.
java.util.Iterator<SupervisoryEvent>	SupervisoryEventSet.iteratorUnobservable() Get an iterator for all the unobservable SupervisoryEvents in the set.