|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |