Package org.processmining.plugins.stochasticpetrinet.simulator

Class VisitState

  • public class VisitState
extends java.lang.Object
    A State to visit during exploration TODO: make more compact (e.g. use integer encoding) Created by andreas on 6/7/17.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected org.processmining.models.semantics.petrinet.Marking marking  
      protected java.math.BigDecimal probability  
      protected java.lang.Long time  
      protected org.deckfour.xes.model.XTrace trace  

    • Constructor Summary

      Constructors 
      Constructor Description
      VisitState​(org.deckfour.xes.model.XTrace trace, org.processmining.models.semantics.petrinet.Marking marking, java.lang.Long time, java.math.BigDecimal probability)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.processmining.models.semantics.petrinet.Marking getMarking()  
      java.math.BigDecimal getProbability()  
      java.lang.Long getTime()  
      org.deckfour.xes.model.XTrace getTrace()  
      void setMarking​(org.processmining.models.semantics.petrinet.Marking marking)  
      void setProbability​(java.math.BigDecimal probability)  
      void setTime​(java.lang.Long time)  
      void setTrace​(org.deckfour.xes.model.XTrace trace)  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • trace

        protected org.deckfour.xes.model.XTrace trace

      • marking

        protected org.processmining.models.semantics.petrinet.Marking marking

      • time

        protected java.lang.Long time

      • probability

        protected java.math.BigDecimal probability

    • Constructor Detail

      • VisitState

        public VisitState​(org.deckfour.xes.model.XTrace trace,
                  org.processmining.models.semantics.petrinet.Marking marking,
                  java.lang.Long time,
                  java.math.BigDecimal probability)

    • Method Detail

      • getTrace

        public org.deckfour.xes.model.XTrace getTrace()

      • setTrace

        public void setTrace​(org.deckfour.xes.model.XTrace trace)

      • getMarking

        public org.processmining.models.semantics.petrinet.Marking getMarking()

      • setMarking

        public void setMarking​(org.processmining.models.semantics.petrinet.Marking marking)

      • getTime

        public java.lang.Long getTime()

      • setTime

        public void setTime​(java.lang.Long time)

      • getProbability

        public java.math.BigDecimal getProbability()

      • setProbability

        public void setProbability​(java.math.BigDecimal probability)