Class LogInfo


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

      • LogInfo

        public LogInfo​(org.processmining.models.graphbased.directed.petrinet.Petrinet model)
    • Method Detail

      • setOutgoingPlaces

        public void setOutgoingPlaces()
      • setIncomingPlaces

        public void setIncomingPlaces()
      • setOutGoingTransitionsOfPlaces

        public void setOutGoingTransitionsOfPlaces()
      • setIncommingTransitionsToPlaces

        public void setIncommingTransitionsToPlaces()
      • getReachablePlacesOfOneTransition

        public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getReachablePlacesOfOneTransition​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
      • setReachableTransitionsOfeachTransition

        public void setReachableTransitionsOfeachTransition()
      • getcatchingPlacesOfOneTransition

        public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getcatchingPlacesOfOneTransition​(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
      • setTransitionsThatCanReachEachTransition

        public void setTransitionsThatCanReachEachTransition()
      • setStartPlaces

        public void setStartPlaces()
      • getInputPlacesToTransition

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>> getInputPlacesToTransition()
      • getOutputPlacesOfTransition

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>> getOutputPlacesOfTransition()
      • getinputTransitionsToPlaces

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> getinputTransitionsToPlaces()
      • getOutputTransitionsOfPlaces

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> getOutputTransitionsOfPlaces()
      • getReachableTransitionsOfTransition

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> getReachableTransitionsOfTransition()
      • getCatchingTransitionsOfEachTransition

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition>> getCatchingTransitionsOfEachTransition()