Package jline.api.sym

Class SymEngine.CTMCSolution

java.lang.Object
jline.api.sym.SymEngine.CTMCSolution
Enclosing interface:
SymEngine

public static class SymEngine.CTMCSolution extends Object
Symbolic stationary distribution of a CTMC.
  • Field Details

    • pi

      public final List<String> pi
      Stationary probability of each state, as an expression string
    • num

      public final List<String> num
      Numerator of each entry over the common denominator den
    • den

      public final String den
      Common denominator of the whole vector
    • nConnComp

      public final int nConnComp
      Number of weakly connected components of the generator
    • connComp

      public final int[] connComp
      Component index of each state, one based
  • Constructor Details