Uses of Class
vanted.petrinetelements.misc.HideToken

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.