All Implemented Interfaces:


public class SolverCTMC.CtmcSsgResult

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description

Field Summary

Fields
Modifier and Type	Field	Description
`public final Matrix`	`stateSpace`
`public final Matrix`	`stateSpaceAggr`
`public final Matrix`	`stateSpaceHashed`
`public final NetworkStruct`	`sn`

Constructor Summary

Constructors
Constructor	Description
`SolverCTMC.CtmcSsgResult(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
`Matrix`	`getStateSpace()`
`Matrix`	`getStateSpaceAggr()`
`Matrix`	`getStateSpaceHashed()`
`NetworkStruct`	`getSn()`

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

Constructor Detail

SolverCTMC.CtmcSsgResult

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

Method Detail

getStateSpace
```
 Matrix getStateSpace()
```

getStateSpaceAggr
```
 Matrix getStateSpaceAggr()
```

getStateSpaceHashed
```
 Matrix getStateSpaceHashed()
```

getSn
```
 NetworkStruct getSn()
```

Class SolverCTMC.CtmcSsgResult

Nested Class Summary

Field Summary

Constructor Summary

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

SolverCTMC.CtmcSsgResult

Method Detail

getStateSpace

getStateSpaceAggr

getStateSpaceHashed

getSn