|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NameLabel | |
pipe.dataLayer |
Uses of NameLabel in pipe.dataLayer |
Methods in pipe.dataLayer that return NameLabel | |
NameLabel |
PetriNetObject.getNameLabel()
Returns Name Label - is used by GuiView |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |