|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use pipe.gui | |
| pipe.dataLayer | |
| pipe.gui | |
Classes in pipe.gui used by pipe.dataLayer| Constants
|
GuiView
|
The petrinet is drawn onto this frame. |
|
Classes in pipe.gui used by pipe.gui| AnimationHistory
|
Class to represent the history of the net animation Animator
|
Constants
|
GuiFrame
|
GuiView
|
The petrinet is drawn onto this frame. PetriNetObjectHandler
|
Class used to implement methods corresponding to mouse events on all PetriNetObjects. PlaceTransitionObjectHandler
|
Class used to implement methods corresponding to mouse events on places. SelectionObject
|
StatusBar
|
|
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||