Package jline.api.mc

Class Dtmc_stochcomp

java.lang.Object
jline.api.mc.Dtmc_stochcomp

public final class Dtmc_stochcomp extends Object
  • Method Details

    • dtmc_stochcomp

      public static Matrix dtmc_stochcomp(Matrix P, List<Integer> I)
      Returns the stochastic complement of a DTMC.
      Parameters:
      P - Transition matrix of the DTMC
      I - Indexes of states to be kept in the stochastic complement
      Returns:
      Transition matrix of the stochastic complement
      Throws:
      RuntimeException - If the transition matrix is null