Package jline.api.mc

Class Ctmc_ssg_reachabilityKt

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
    • Field Summary

      Fields 
      Modifier and Type Field Description
    • Constructor Summary

      Constructors 
      Constructor Description
    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
    • Method Summary

      Modifier and Type Method Description
      final static CtmcSsgReachabilityResult ctmc_ssg_reachability(NetworkStruct sn, SolverOptions options) CTMC State Space Generator for Reachability Analysis Generates state spaces using reachability analysis for CTMC models.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

    • Method Detail

      • ctmc_ssg_reachability

         final static CtmcSsgReachabilityResult ctmc_ssg_reachability(NetworkStruct sn, SolverOptions options)

        CTMC State Space Generator for Reachability Analysis Generates state spaces using reachability analysis for CTMC models. This is used for models where not all states need to be generated, only reachable ones.

        Parameters:
        sn -
        • Network structure

        options -
        • Solver options

        Returns:

        CtmcSsgReachabilityResult containing state spaces and updated network structure