Package org.processmining.est2miner.algorithms.placeevaluation

Class LpoValidator

  • Direct Known Subclasses:
    LpoESTFlowValidator
    public abstract class LpoValidator
extends java.lang.Object

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.util.HashMap<java.lang.String,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> eventToTransition  
      protected java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> initialMarkingCount  
      protected ESTPartialOrder partialOrderTrace  
      protected org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet  

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected LpoValidator​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet, org.processmining.models.semantics.petrinet.Marking initialMarking, ESTPartialOrder partialOrderTrace)  

    • Method Summary

      All Methods Instance Methods Abstract Methods Concrete Methods 
      Modifier and Type Method Description
      protected int getWeight​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode> edge)  
      protected void modifyPartialOrder()  
      abstract LpoESTValidationResult validate()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • petrinet

        protected final org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet

      • initialMarkingCount

        protected final java.util.HashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.lang.Integer> initialMarkingCount

      • eventToTransition

        protected final java.util.HashMap<java.lang.String,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> eventToTransition

    • Constructor Detail

      • LpoValidator

        protected LpoValidator​(org.processmining.models.graphbased.directed.petrinet.Petrinet petrinet,
                       org.processmining.models.semantics.petrinet.Marking initialMarking,
                       ESTPartialOrder partialOrderTrace)

    • Method Detail

      • modifyPartialOrder

        protected void modifyPartialOrder()

      • getWeight

        protected int getWeight​(org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,​? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode> edge)