Class POAlignmentBuilder


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

      • POAlignmentBuilder

        public POAlignmentBuilder()
    • Method Detail

      • computePAlignmentAndUpdateResult

        public static PAlignment computePAlignmentAndUpdateResult​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph graph,
                                                                  org.processmining.models.semantics.petrinet.Marking initialMarking,
                                                                  org.processmining.models.semantics.petrinet.Marking[] finalMarkings,
                                                                  org.deckfour.xes.classification.XEventClasses eventClasses,
                                                                  org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping mapping,
                                                                  org.deckfour.xes.model.XTrace trace,
                                                                  PTrace potrace,
                                                                  int traceIndex,
                                                                  POSyncReplayResult pores)
      • updateAlignment

        public static PAlignment updateAlignment​(PAlignment palignment,
                                                 int traceIndex,
                                                 org.deckfour.xes.model.XTrace trace)