Class TLCDiagnosticsModel


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

      • TLCDiagnosticsModel

        public TLCDiagnosticsModel​(org.processmining.models.graphbased.directed.petrinet.Petrinet pn,
                                   java.util.Collection<TLCElementDiagnostic> elDiagsCollection)
    • Method Detail

      • getTransitionAssignableDiagnostics

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​TLCElementDiagnostic> getTransitionAssignableDiagnostics()
      • getNonTransitionAssignableEventClassDiagnostics

        public java.util.Map<org.deckfour.xes.classification.XEventClass,​TLCElementDiagnostic> getNonTransitionAssignableEventClassDiagnostics()
      • getPetriNet

        public org.processmining.models.graphbased.directed.petrinet.Petrinet getPetriNet()
      • setSelectedUUID

        public void setSelectedUUID​(java.util.UUID idSelected)
      • fireDiagnosticsSelectionChangedEvent

        public void fireDiagnosticsSelectionChangedEvent​(java.util.UUID idSelected)
      • getTrans2DiagId

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.util.UUID> getTrans2DiagId()
      • getEvCl2DiagId

        public java.util.Map<org.deckfour.xes.classification.XEventClass,​java.util.UUID> getEvCl2DiagId()