Package org.processmining.stochasticlabelledpetrinets.probability

Class CrossProductResultDot

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void reportDeadState​(int stateIndex)
      A state will be reported as either final, non-final, or dead.
      void reportFinalState​(int stateIndex)
      A state will be reported as either final, non-final, or dead.
      void reportInitialState​(int stateIndex)
      The initial state will be reported twice: once as initial state, and again as a final or non-final state.
      void reportNonFinalState​(int stateIndex, gnu.trove.list.TIntList nextStateIndexes, gnu.trove.list.TDoubleList nextStateProbabilities)
      A state will be reported as either final, non-final, or dead.
      org.processmining.plugins.graphviz.dot.Dot toDot()  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • CrossProductResultDot

        public CrossProductResultDot()

    • Method Detail

      • reportFinalState

        public void reportFinalState​(int stateIndex)
        Description copied from interface: CrossProductResult
        A state will be reported as either final, non-final, or dead. Multiple states might be reported as final.
        Specified by:
        reportFinalState in interface CrossProductResult

      • reportDeadState

        public void reportDeadState​(int stateIndex)
        Description copied from interface: CrossProductResult
        A state will be reported as either final, non-final, or dead. A dead state is a state in the cross product that indicates that A made a move that was not supported by B. At most one state will be reported as dead.
        Specified by:
        reportDeadState in interface CrossProductResult

      • reportNonFinalState

        public void reportNonFinalState​(int stateIndex,
                                gnu.trove.list.TIntList nextStateIndexes,
                                gnu.trove.list.TDoubleList nextStateProbabilities)
        Description copied from interface: CrossProductResult
        A state will be reported as either final, non-final, or dead.
        Specified by:
        reportNonFinalState in interface CrossProductResult
        nextStateIndexes - may contain duplicated values. List might be reused and changed after this call returns, and changes by the implementer will be overwritten.
        nextStateProbabilities - list might be reused and changed after this call returns, and changes by the implementer will be overwritten.

      • reportInitialState

        public void reportInitialState​(int stateIndex)
        Description copied from interface: CrossProductResult
        The initial state will be reported twice: once as initial state, and again as a final or non-final state.
        Specified by:
        reportInitialState in interface CrossProductResult

      • toDot

        public org.processmining.plugins.graphviz.dot.Dot toDot()