Class PetrinetRepair


  • public class PetrinetRepair
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      PetrinetRepair()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void repair​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.deckfour.xes.model.XLog log, RepairRecommendation recommendation)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • PetrinetRepair

        public PetrinetRepair()
    • Method Detail

      • repair

        public static void repair​(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
                                  org.deckfour.xes.model.XLog log,
                                  RepairRecommendation recommendation)