Storm
A Modern Probabilistic Model Checker
|
Go to the source code of this file.
Classes | |
class | storm::transformer::NonMarkovianChainTransformer< ValueType, RewardModelType > |
Transformer for eliminating chains of non-Markovian states (instantaneous path fragment leading to the same outcome) from Markov automata. More... | |
Namespaces | |
namespace | storm |
LabParser.cpp. | |
namespace | storm::transformer |
Enumerations | |
enum | storm::transformer::EliminationLabelBehavior { storm::transformer::KeepLabels , storm::transformer::ExtendLabels , storm::transformer::MergeLabels , storm::transformer::DeleteLabels } |
Specify criteria whether a state can be eliminated and how its labels should be treated. More... | |