Package jline.api.mc

Class Dtmc_uniformization.DtmcUniformizationResult

java.lang.Object
jline.api.mc.Dtmc_uniformization.DtmcUniformizationResult
Enclosing class:
Dtmc_uniformization
public static final class Dtmc_uniformization.DtmcUniformizationResult extends Object
Result class for DTMC uniformization analysis containing the probability vector and maximum iterations used.

  • Field Details

    • pi

      public final Matrix pi

    • kmax

      public final int kmax

  • Constructor Details

    • DtmcUniformizationResult

      public DtmcUniformizationResult(Matrix pi, int kmax)

  • Method Details

    • component1

      public Matrix component1()

    • component2

      public int component2()

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object