Package org.processmining.stochasticlabelledpetrinets.probability

Class FollowerSemanticsTrace

  • All Implemented Interfaces:
    FollowerSemantics<java.lang.Integer>
    public class FollowerSemanticsTrace
extends java.lang.Object
implements FollowerSemantics<java.lang.Integer>

    • Constructor Summary

      Constructors 
      Constructor Description
      FollowerSemanticsTrace​(java.lang.String[] trace)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.Integer getInitialState()  
      boolean isFinalState​(java.lang.Integer state)  
      java.lang.Integer takeStep​(java.lang.Integer state, java.lang.String label)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • FollowerSemanticsTrace

        public FollowerSemanticsTrace​(java.lang.String[] trace)

    • Method Detail

      • getInitialState

        public java.lang.Integer getInitialState()
        Specified by:
        getInitialState in interface FollowerSemantics<java.lang.Integer>
        Returns:
        The initial state.

      • takeStep

        public java.lang.Integer takeStep​(java.lang.Integer state,
                                  java.lang.String label)
        Specified by:
        takeStep in interface FollowerSemantics<java.lang.Integer>
        Returns:
        The new state, or null if the step cannot be taken.

      • isFinalState

        public boolean isFinalState​(java.lang.Integer state)
        Specified by:
        isFinalState in interface FollowerSemantics<java.lang.Integer>