Package jline.api.mc

Class CtmcSsgReachabilityResult

java.lang.Object

jline.api.mc.CtmcSsgReachabilityResult

public final class CtmcSsgReachabilityResult
extends Object

Result data class for CTMC SSG reachability analysis

Field Summary

Fields

Modifier and Type	Field	Description
final Map<StatefulNode,Matrix>	nodeStateSpace
final NetworkStruct	sn
final Matrix	stateSpace
final Matrix	stateSpaceAggr
final Matrix	stateSpaceHashed

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Map<StatefulNode,Matrix>	getNodeStateSpace()
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

Field Details

stateSpace

public final Matrix stateSpace

stateSpaceAggr

public final Matrix stateSpaceAggr

stateSpaceHashed

public final Matrix stateSpaceHashed

nodeStateSpace

public final Map<StatefulNode,Matrix> nodeStateSpace

sn

public final NetworkStruct sn

Constructor Details

CtmcSsgReachabilityResult

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

Method Details

getStateSpace

public Matrix getStateSpace()

getStateSpaceAggr

public Matrix getStateSpaceAggr()

getStateSpaceHashed

public Matrix getStateSpaceHashed()

getNodeStateSpace

public Map<StatefulNode,Matrix> getNodeStateSpace()

getSn

public NetworkStruct getSn()