Package org.processmining.stochasticlabelledpetrinets.probability

Class CrossProductResultSolver

    • 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 nextStateIndices, gnu.trove.list.TDoubleList nextStateProbabilities)
      A state will be reported as either final, non-final, or dead.
      double solve​(org.processmining.framework.plugin.ProMCanceller canceller)
      Structure of the LP model: One row per state; one column per state.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • CrossProductResultSolver

        public CrossProductResultSolver()

    • Method Detail

      • 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

      • reportNonFinalState

        public void reportNonFinalState​(int stateIndex,
                                gnu.trove.list.TIntList nextStateIndices,
                                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
        nextStateIndices - 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.

      • 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

      • solve

        public double solve​(org.processmining.framework.plugin.ProMCanceller canceller)
             throws lpsolve.LpSolveException
        Structure of the LP model: One row per state; one column per state.
        Returns:
        Throws:
        lpsolve.LpSolveException