NonMarkovianChainTransformer.h File Reference

#include "storm/logic/Formula.h"
#include "storm/models/sparse/MarkovAutomaton.h"

Include dependency graph for NonMarkovianChainTransformer.h:

This graph shows which files directly or indirectly include this file:

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...