Class JMTResult.TransientProbabilityResult

java.lang.Object
jline.solvers.TransientProbabilityResult
jline.solvers.wrappers.jmt.JMTResult.TransientProbabilityResult
Enclosing class:
JMTResult

public static class JMTResult.TransientProbabilityResult extends TransientProbabilityResult
Result class for transient probability analysis of aggregated states.
  • Constructor Details

    • TransientProbabilityResult

      public TransientProbabilityResult()
    • TransientProbabilityResult

      public TransientProbabilityResult(Matrix Pi_t, Matrix SSnode_a)