Package jline.solvers.jmt
Class JMTResult.TransientProbabilityResult
java.lang.Object
jline.solvers.jmt.JMTResult.TransientProbabilityResult
- Enclosing class:
JMTResult
Result class for transient probability analysis of aggregated states.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
Pi_t
-
SSnode_a
-
-
Constructor Details
-
TransientProbabilityResult
public TransientProbabilityResult() -
TransientProbabilityResult
-