|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use NameLabel | |
pipe.dataLayer |
Uses of NameLabel in pipe.dataLayer |
Fields in pipe.dataLayer declared as NameLabel | |
NameLabel |
PetriNetObject.pnname
Name Label for displaying name |
private NameLabel |
ArrowLabel.weightLabel
Label which displays the weighting of the arc it's attached to. |
Methods in pipe.dataLayer that return NameLabel | |
NameLabel |
PetriNetObject.getNameLabel()
Returns Name Label - is used by GuiView |
NameLabel |
ArrowLabel.getNameLabel()
Returns label which displays the weighting of the arc it's attached to. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |