Class Execution


  • public class Execution
    extends java.lang.Object
    Created by armascer on 9/11/2017.
    • Constructor Summary

      Constructors 
      Constructor Description
      Execution()  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addFired​(org.processmining.models.graphbased.directed.petrinet.elements.Transition t, org.processmining.models.graphbased.directed.petrinet.Petrinet net)  
      Execution clone()  
      java.util.LinkedList<java.lang.String> getVisibleTrace()  
      void setMarking​(java.util.LinkedList<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)  
      void setVisibleTrace​(java.util.LinkedList<java.lang.String> visibleTrace)  
      • Methods inherited from class java.lang.Object

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

      • Execution

        public Execution()
    • Method Detail

      • setMarking

        public void setMarking​(java.util.LinkedList<org.processmining.models.graphbased.directed.petrinet.elements.Place> marking)
      • clone

        public Execution clone()
        Overrides:
        clone in class java.lang.Object
      • addFired

        public void addFired​(org.processmining.models.graphbased.directed.petrinet.elements.Transition t,
                             org.processmining.models.graphbased.directed.petrinet.Petrinet net)
      • setVisibleTrace

        public void setVisibleTrace​(java.util.LinkedList<java.lang.String> visibleTrace)
      • getVisibleTrace

        public java.util.LinkedList<java.lang.String> getVisibleTrace()