|
|||||||||||
| 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 | ||||||||||