vanted.petrinetelements.misc
Class Identity

java.lang.Object
  extended by vanted.petrinetelements.misc.Identity

public class Identity
extends java.lang.Object

The Class Identity is a helper class for linking between nodes (Petri net) and edges (reachability graph).

Author:
Kevin Pucknat

Constructor Summary
Identity(long value)
          Instantiates a new identity.
 
Method Summary
 long getValue()
          Gets the value.
 void setValue(long value)
          Sets the value.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Identity

public Identity(long value)
Instantiates a new identity.

Parameters:
value - the value
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

setValue

public void setValue(long value)
Sets the value.

Parameters:
value - the new value

getValue

public long getValue()
Gets the value.

Returns:
the value