Class InitialTransition
- java.lang.Object
-
- org.processmining.specpp.datastructures.util.NoRehashing<java.lang.String>
-
- org.processmining.specpp.datastructures.petri.Transition
-
- org.processmining.specpp.datastructures.petri.InitialTransition
-
- All Implemented Interfaces:
Initial,Immutable,ProperlyHashable,ProperlyPrintable
public class InitialTransition extends Transition implements Initial
-
-
Field Summary
-
Fields inherited from class org.processmining.specpp.datastructures.util.NoRehashing
internal
-
-
Constructor Summary
Constructors Constructor Description InitialTransition(java.lang.String label)
-
Method Summary
-
Methods inherited from class org.processmining.specpp.datastructures.petri.Transition
toString
-
Methods inherited from class org.processmining.specpp.datastructures.util.NoRehashing
equals, hashCode
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.processmining.specpp.traits.ProperlyHashable
hashCode
-
-