Class TLCElementDiagnostic


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

      • TLCElementDiagnostic

        public TLCElementDiagnostic​(TLCElementType diagnosticType,
                                    java.util.Optional<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transition,
                                    java.util.Optional<org.deckfour.xes.classification.XEventClass> evClass,
                                    int logSize)
    • Method Detail

      • getSync

        public int getSync()
      • getAdditional

        public int getAdditional()
      • getMissing

        public int getMissing()
      • getNbrActivations

        public int getNbrActivations()
      • getNbrCases

        public int getNbrCases()
      • getNbrCasesLog

        public int getNbrCasesLog()
      • incSync

        public void incSync()
      • incSync

        public void incSync​(int nbrCases)
      • addTimedeltas

        public void addTimedeltas​(OrderDiagnosticType orderType,
                                  java.util.Collection<java.lang.Long> timedeltas)
      • incAdditional

        public void incAdditional()
      • incAdditional

        public void incAdditional​(int nbrCases)
      • incMissing

        public void incMissing()
      • incMissing

        public void incMissing​(int nbrCases)
      • incActivations

        public void incActivations()
      • incActivations

        public void incActivations​(int nbrCases)
      • incNbrCases

        public void incNbrCases()
      • incNbrCases

        public void incNbrCases​(int nbrCases)
      • getTransition

        public java.util.Optional<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransition()
      • getEvClass

        public java.util.Optional<org.deckfour.xes.classification.XEventClass> getEvClass()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • getUuid

        public java.util.UUID getUuid()