Package jline.solvers.ctmc
Class SolverCTMC.AnalyzerResult
java.lang.Object
jline.solvers.ctmc.SolverCTMC.AnalyzerResult
- Enclosing class:
SolverCTMC
-
Field Summary
-
Constructor Summary
-
Method Summary
-
Field Details
-
QN
-
UN
-
RN
-
TN
-
CN
-
XN
-
InfGen
-
StateSpace
-
StateSpaceAggr
-
EventFiltration
-
runtime
public double runtime -
fname
-
sncopy
-
-
Constructor Details
-
AnalyzerResult
-