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