Package org.oristool.models.gspn.chains

Class AbsorptionProbs<S>

java.lang.Object
org.oristool.models.gspn.chains.AbsorptionProbs<S>
Type Parameters:
S - type of states/nodes in the input DTMC
public final class AbsorptionProbs<S> extends Object
Computation of absorption probabilities into BSCCs from all states.

  • Method Summary

    Modifier and Type
    Method
    Description
    List<Set<S>>
    bscc()
    Returns the list of bottom strongly connected components.
    int
    bsccIndexFor(S bsccNode)
    Returns the position of the BSCC of a BSCC node.
    static <S> AbsorptionProbs<S>
    compute(com.google.common.graph.ValueGraph<S,Double> dtmcProbs)
    Computes the BSCC components of an input DTMC and the absorption probabilities from each transient state.
    boolean
    isBottom(S node)
    Checks whether a node is in some BSCC.
    boolean
    isTransient(S node)
    Checks whether a node is in the transient set.
    double
    probs(int transientIndex, int bscc)
    Returns the absorption probability from a transient node to a BSCC.
    int
    transientIndex(S transientNode)
    Returns the position of a transient node in the list.
    List<S>
    transientNodes()
    Returns the list of transient nodes.

    Methods inherited from class java.lang.Object

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

  • Method Details

    • bscc

      public List<Set<S>> bscc()
      Returns the list of bottom strongly connected components.
      Returns:
      list of BSCCs

    • probs

      public double probs(int transientIndex, int bscc)
      Returns the absorption probability from a transient node to a BSCC.
      Parameters:
      transientIndex - index of the transient state
      bscc - index of an absorbing BSCC
      Returns:
      the absorption probability

    • transientNodes

      public List<S> transientNodes()
      Returns the list of transient nodes.
      Returns:
      the list of transient nodes

    • transientIndex

      public int transientIndex(S transientNode)
      Returns the position of a transient node in the list.
      Parameters:
      transientNode - a transient node
      Returns:
      position of the node

    • bsccIndexFor

      public int bsccIndexFor(S bsccNode)
      Returns the position of the BSCC of a BSCC node.
      Parameters:
      bsccNode - a BSCC node
      Returns:
      position of the node BSCC

    • isTransient

      public boolean isTransient(S node)
      Checks whether a node is in the transient set.
      Parameters:
      node - a node
      Returns:
      true if the node is in the transient set

    • isBottom

      public boolean isBottom(S node)
      Checks whether a node is in some BSCC.
      Parameters:
      node - a node
      Returns:
      true if the node is in some BSCC

    • compute

      public static <S> AbsorptionProbs<S> compute(com.google.common.graph.ValueGraph<S,Double> dtmcProbs)
      Computes the BSCC components of an input DTMC and the absorption probabilities from each transient state.
      Type Parameters:
      S - type of DTMC states
      Parameters:
      dtmcProbs - input DTMC
      Returns:
      BSCCs and absorption probabilities from each transient state