Uses of Class
vanted.petrinetelements.misc.Identity

Packages that use Identity
vanted.attribute   
vanted.petrinetelements   
 

Uses of Identity in vanted.attribute
 

Methods in vanted.attribute that return Identity
 Identity IdentityAttribute.getIdentity()
          Gets the identity.
 

Methods in vanted.attribute with parameters of type Identity
 void IdentityAttribute.setIdentity(Identity ignoreNode)
          Sets the identity.
 

Uses of Identity in vanted.petrinetelements
 

Methods in vanted.petrinetelements that return Identity
 Identity NodePN.getIdentity()
          Gets the object Identity which contains a random value for linking between nodes (Petri net) and edges (reachability graph).
 

Methods in vanted.petrinetelements with parameters of type Identity
 void NodePN.addIdentity(Identity identity)
          Adds the object Identity to the IdentityAttribute.