|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use HideToken | |
---|---|
vanted.attribute | |
vanted.petrinetelements |
Uses of HideToken in vanted.attribute |
---|
Methods in vanted.attribute that return HideToken | |
---|---|
HideToken |
HideTokenAttribute.getHideToken()
Gets the hide token. |
Methods in vanted.attribute with parameters of type HideToken | |
---|---|
void |
HideTokenAttribute.addHideToken(HideToken hideToken)
Adds the hide token. |
Uses of HideToken in vanted.petrinetelements |
---|
Methods in vanted.petrinetelements that return HideToken | |
---|---|
HideToken |
PetriNet.getHideToken()
Gets the object HideToken which contains true (hiding all tokens), or false. |
Methods in vanted.petrinetelements with parameters of type HideToken | |
---|---|
void |
PetriNet.addHideToken(HideToken hideToken)
Adds the object HideToken to the HideTokenAttribute. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |