Package jline.api.mc

Class DtmcUniformizationResult

  • All Implemented Interfaces:
    
public final class DtmcUniformizationResult

    Result class for DTMC uniformization analysis containing the probability vector and maximum iterations used.

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private final Matrix pi
      private final Integer kmax

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description

    • Method Summary

      Modifier and Type Method Description
      final Matrix getPi()
      final Integer getKmax()

      • Methods inherited from class java.lang.Object

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