Class PNRun


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

      Constructors 
      Constructor Description
      PNRun​(org.processmining.models.graphbased.directed.petrinet.Petrinet pnRun, org.processmining.models.semantics.petrinet.Marking initialMarking, org.processmining.models.semantics.petrinet.Marking finalMarking, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> mapCausal2OrigPlace, java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapCausal2OrigTransition, gnu.trove.map.hash.TObjectIntHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeAlignIndex, gnu.trove.map.hash.TObjectIntHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionAlignIndex, gnu.trove.map.hash.TIntObjectHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> alignIndexRunTransition)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      gnu.trove.map.hash.TIntObjectHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> alignIndexRunTransition()  
      org.processmining.models.semantics.petrinet.Marking finalMarking()  
      org.processmining.models.semantics.petrinet.Marking initialMarking()  
      java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> mapCausal2OrigPlace()  
      java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapCausal2OrigTransition()  
      gnu.trove.map.hash.TObjectIntHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeAlignIndex()  
      org.processmining.models.graphbased.directed.petrinet.Petrinet pnRun()  
      gnu.trove.map.hash.TObjectIntHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionAlignIndex()  
      • Methods inherited from class java.lang.Object

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

      • PNRun

        public PNRun​(org.processmining.models.graphbased.directed.petrinet.Petrinet pnRun,
                     org.processmining.models.semantics.petrinet.Marking initialMarking,
                     org.processmining.models.semantics.petrinet.Marking finalMarking,
                     java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> mapCausal2OrigPlace,
                     java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,​org.processmining.models.graphbased.directed.petrinet.elements.Transition> mapCausal2OrigTransition,
                     gnu.trove.map.hash.TObjectIntHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeAlignIndex,
                     gnu.trove.map.hash.TObjectIntHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionAlignIndex,
                     gnu.trove.map.hash.TIntObjectHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> alignIndexRunTransition)
    • Method Detail

      • pnRun

        public org.processmining.models.graphbased.directed.petrinet.Petrinet pnRun()
      • initialMarking

        public org.processmining.models.semantics.petrinet.Marking initialMarking()
      • finalMarking

        public org.processmining.models.semantics.petrinet.Marking finalMarking()
      • mapCausal2OrigPlace

        public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,​org.processmining.models.graphbased.directed.petrinet.elements.Place> mapCausal2OrigPlace()
      • mapCausal2OrigTransition

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

        public gnu.trove.map.hash.TObjectIntHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeAlignIndex()
      • transitionAlignIndex

        public gnu.trove.map.hash.TObjectIntHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionAlignIndex()
      • alignIndexRunTransition

        public gnu.trove.map.hash.TIntObjectHashMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> alignIndexRunTransition()