Class EventIndexSyncDiagnostic


  • public class EventIndexSyncDiagnostic
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      EventIndexSyncDiagnostic​(int index, org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      int index()  
      org.processmining.models.graphbased.directed.petrinet.elements.Transition transition()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • EventIndexSyncDiagnostic

        public EventIndexSyncDiagnostic​(int index,
                                        org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
    • Method Detail

      • index

        public int index()
      • transition

        public org.processmining.models.graphbased.directed.petrinet.elements.Transition transition()