All Implemented Interfaces:


public final class CtmcSsgReachabilityResult

Result data class for CTMC SSG reachability analysis

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description

Field Summary

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

Constructor Summary

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

Enum Constant Summary

Enum Constants
Enum Constant	Description

Method Summary

Modifier and Type	Method	Description
`final Matrix`	`getStateSpace()`
`final Matrix`	`getStateSpaceAggr()`
`final Matrix`	`getStateSpaceHashed()`
`final Map<StatefulNode, Matrix>`	`getNodeStateSpace()`
`final NetworkStruct`	`getSn()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CtmcSsgReachabilityResult

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

Method Detail

getStateSpace
```
 final Matrix getStateSpace()
```

getStateSpaceAggr
```
 final Matrix getStateSpaceAggr()
```

getStateSpaceHashed
```
 final Matrix getStateSpaceHashed()
```

getNodeStateSpace

 final Map<StatefulNode, Matrix> getNodeStateSpace()

getSn
```
 final NetworkStruct getSn()
```

Class CtmcSsgReachabilityResult

Nested Class Summary

Field Summary

Constructor Summary

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

CtmcSsgReachabilityResult

Method Detail

getStateSpace

getStateSpaceAggr

getStateSpaceHashed

getNodeStateSpace

getSn