Class EventIndexBasedTLDiagnostics


  • public class EventIndexBasedTLDiagnostics
    extends java.lang.Object
    • Constructor Detail

      • EventIndexBasedTLDiagnostics

        public EventIndexBasedTLDiagnostics​(java.util.Collection<EventIndexSyncDiagnostic> snyc,
                                            java.util.Collection<java.lang.Integer> additional,
                                            java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> missing,
                                            java.util.Collection<EventIndexOrderDiagnostics> order)
    • Method Detail

      • additional

        public java.util.Collection<java.lang.Integer> additional()
      • missing

        public java.util.Collection<org.processmining.models.graphbased.directed.petrinet.elements.Transition> missing()