|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use HideLabel | |
---|---|
vanted.attribute | |
vanted.petrinetelements |
Uses of HideLabel in vanted.attribute |
---|
Methods in vanted.attribute that return HideLabel | |
---|---|
HideLabel |
HideLabelAttribute.getHideLabel()
Gets the hide label. |
Methods in vanted.attribute with parameters of type HideLabel | |
---|---|
void |
HideLabelAttribute.addHideLabel(HideLabel hideLabel)
Adds the hide label. |
Uses of HideLabel in vanted.petrinetelements |
---|
Methods in vanted.petrinetelements that return HideLabel | |
---|---|
HideLabel |
PetriNet.getHideLabel()
Gets the object HideLabel which contains true (hiding all node label), or false. |
Methods in vanted.petrinetelements with parameters of type HideLabel | |
---|---|
void |
PetriNet.addHideLabel(HideLabel hideLabel)
Adds the object HideLabel to the HideLabelAttribute. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |