Package org.processmining.stochasticlabelledpetrinets.probability

Class FollowerSemanticsLTL

  • All Implemented Interfaces:
    FollowerSemantics<org.processmining.ltl2automaton.plugins.automaton.State>
    public abstract class FollowerSemanticsLTL
extends java.lang.Object
implements FollowerSemantics<org.processmining.ltl2automaton.plugins.automaton.State>

    • Constructor Summary

      Constructors 
      Constructor Description
      FollowerSemanticsLTL​(java.lang.String formula, boolean tausAllowed)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.processmining.ltl2automaton.plugins.automaton.State getInitialState()  
      boolean isFinalState​(org.processmining.ltl2automaton.plugins.automaton.State state)  
      org.processmining.ltl2automaton.plugins.automaton.State takeStep​(org.processmining.ltl2automaton.plugins.automaton.State 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

      • FollowerSemanticsLTL

        public FollowerSemanticsLTL​(java.lang.String formula,
                            boolean tausAllowed)

    • Method Detail

      • getInitialState

        public org.processmining.ltl2automaton.plugins.automaton.State getInitialState()
        Specified by:
        getInitialState in interface FollowerSemantics<org.processmining.ltl2automaton.plugins.automaton.State>
        Returns:
        The initial state.

      • takeStep

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

      • isFinalState

        public boolean isFinalState​(org.processmining.ltl2automaton.plugins.automaton.State state)
        Specified by:
        isFinalState in interface FollowerSemantics<org.processmining.ltl2automaton.plugins.automaton.State>