Package jline.solvers.ctmc

Class SolverCTMC.CtmcSsgResult

java.lang.Object

jline.solvers.ctmc.SolverCTMC.CtmcSsgResult

Enclosing class:

SolverCTMC

public static class SolverCTMC.CtmcSsgResult
extends Object

Constructor Summary

Constructors

Constructor	Description
CtmcSsgResult(Matrix stateSpace, Matrix stateSpaceAggr, Matrix stateSpaceHashed, Map<StatefulNode,Matrix> nodeStateSpace, NetworkStruct sn)

Method Summary

Modifier and Type	Method	Description
NetworkStruct	getSn()
Matrix	getStateSpace()
Matrix	getStateSpaceAggr()
Matrix	getStateSpaceHashed()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CtmcSsgResult

public CtmcSsgResult(Matrix stateSpace,
 Matrix stateSpaceAggr,
 Matrix stateSpaceHashed,
 Map<StatefulNode,Matrix> nodeStateSpace,
 NetworkStruct sn)

Method Details

getSn

public NetworkStruct getSn()

getStateSpace

public Matrix getStateSpace()

getStateSpaceAggr

public Matrix getStateSpaceAggr()

getStateSpaceHashed

public Matrix getStateSpaceHashed()