Class EventIndexOrderDiagnostics


  • public class EventIndexOrderDiagnostics
    extends java.lang.Object
    Author:
    brockhoff For early events, eventSync refers to the next sync event For late events, eventSync refers to the last sync event For chaotic events, eventSync refers to the last sync event
    • Constructor Detail

      • EventIndexOrderDiagnostics

        public EventIndexOrderDiagnostics​(OrderDiagnosticType type,
                                          int eventOrder,
                                          int eventSync,
                                          org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
    • Method Detail

      • eventOrder

        public int eventOrder()
      • eventSync

        public int eventSync()
      • transition

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