Class SolverCTMC.CtmcSsgResult

java.lang.Object
jline.solvers.ctmc.SolverCTMC.CtmcSsgResult
Enclosing class:
SolverCTMC

public static class SolverCTMC.CtmcSsgResult extends Object
  • Constructor Details

  • Method Details

    • getStateSpace

      public Matrix getStateSpace()
    • getStateSpaceAggr

      public Matrix getStateSpaceAggr()
    • getStateSpaceHashed

      public Matrix getStateSpaceHashed()
    • getSn

      public NetworkStruct getSn()