| Class | Description |
|---|---|
| ContinuousTimeMarkovChain | |
| CtmcPreventiveMaintenanceProblem | |
| DiscreteTimeMarkovChain |
This class encapsulates Map
|
| DtmcPreventiveMaintenanceProblem | |
| Eigenvector | |
| InitialDistribution | |
| Policy | |
| StateClustering |
Clusters states based on the signs of entries of the eigenvectors.
|
| StateLifetimes | |
| StationaryDistribution | |
| TraceLifetimes | |
| YourFirstInput | |
| YourOutput | |
| YourSecondInput |
| Enum | Description |
|---|---|
| Action | |
| Sign |