Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

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

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

Uses of DESModelPublisher in ides.api.model.fsa
 

Subinterfaces of DESModelPublisher in ides.api.model.fsa
 interface FSAModel
          Interface for models of Finite-State Automata.
 interface FSASupervisor
          An FSA supervisor is an FSA with a control map.
 

Uses of DESModelPublisher in ides.api.model.supeventset
 

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

Uses of DESModelPublisher in ides.api.plugin.model
 

Subinterfaces of DESModelPublisher in ides.api.plugin.model
 interface DESModel
          The interface for all models which IDES will handle.
 interface ParentModel
          Interface for DESModels which, in turn, contain other DESModels as child models.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES