Uses of Interface
ides.api.plugin.model.DESEventSet

Packages that use DESEventSet
ides.api.model.fsa   
ides.api.model.supeventset   
ides.api.plugin.model   
 

Uses of DESEventSet in ides.api.model.fsa
 

Methods in ides.api.model.fsa that return DESEventSet
 DESEventSet FSASupervisor.getDisabledEvents(FSAState state)
          Returns the events disabled at a given state.
 

Methods in ides.api.model.fsa with parameters of type DESEventSet
 void FSASupervisor.setDisabledEvents(FSAState state, DESEventSet set)
          Sets the events disabled at a given state.
 

Uses of DESEventSet in ides.api.model.supeventset
 

Subinterfaces of DESEventSet in ides.api.model.supeventset
 interface SupervisoryEventSet
          Interface for models of SupervisoryEvent sets.
 

Methods in ides.api.model.supeventset with parameters of type DESEventSet
 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.
 

Uses of DESEventSet in ides.api.plugin.model
 

Methods in ides.api.plugin.model that return DESEventSet
 DESEventSet DESEventSet.copy()
          Produce a (deep) copy of this event set.
 DESEventSet ModelManager.createEmptyEventSet()
          Creates an empty event set.
 DESEventSet DESModel.getEventSet()
          Obtains the set of events in the model.
 DESEventSet DESEventSet.intersect(DESEventSet set)
          Produce an event set which contains the intersection of this event set and the given event set.
 DESEventSet DESEventSet.subtract(DESEventSet set)
          Produce an event set which contains the events in this event minus the events in the given event set.
 DESEventSet DESEventSet.union(DESEventSet set)
          Produce an event set which contains the union of this event set and the given event set.
 

Methods in ides.api.plugin.model with parameters of type DESEventSet
 DESEventSet DESEventSet.intersect(DESEventSet set)
          Produce an event set which contains the intersection of this event set and the given event set.
 DESEventSet DESEventSet.subtract(DESEventSet set)
          Produce an event set which contains the events in this event minus the events in the given event set.
 DESEventSet DESEventSet.union(DESEventSet set)
          Produce an event set which contains the union of this event set and the given event set.