public class TransitionsMap extends java.lang.Object
TransitionsMap(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public TransitionsMap(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)