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

Packages that use SupervisoryEventSet

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

Uses of SupervisoryEventSet in ides.api.model.fsa

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

SupervisoryEventSet

FSAModel.getEventSet() Obtains the set of events in the model.

Uses of SupervisoryEventSet in ides.api.model.supeventset

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

SupervisoryEventSet	SupervisoryEventSet.copy() Produce a (deep) copy of this event set.
SupervisoryEventSet	SupEventSetMessage.getSource() Retrieve the source of the message.
SupervisoryEventSet	SupervisoryEventSet.intersect(DESEventSet set) Produce an event set which contains the intersection of this event set and the given event set.
SupervisoryEventSet	SupervisoryEventSet.subtract(DESEventSet set) Produce an event set which contains the events in this event minus the events in the given event set.
SupervisoryEventSet	SupervisoryEventSet.union(DESEventSet set) Produce an event set which contains the union of this event set and the given event set.

Constructors in ides.api.model.supeventset with parameters of type SupervisoryEventSet

SupEventSetMessage(int eventType, long supEventId, SupervisoryEventSet source)
Creates a SupervisoryEventSet message to be passed on to any SupervisoryEventSet subscribers.

SupEventSetMessage(int eventType, long supEventId, SupervisoryEventSet source, java.lang.String messageText)
Creates a SupervisoryEventSet message to be passed on to any SupervisoryEventSet subscribers.