Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
SteadyStateDistributionAlgorithm.h
Go to the documentation of this file.
1
#pragma once
2
3
namespace
storm
{
4
enum class
SteadyStateDistributionAlgorithm
{
Automatic
,
EquationSystem
,
ExpectedVisitingTimes
,
Classic
};
5
}
storm
LabParser.cpp.
Definition
cli.cpp:18
storm::SteadyStateDistributionAlgorithm
SteadyStateDistributionAlgorithm
Definition
SteadyStateDistributionAlgorithm.h:4
storm::SteadyStateDistributionAlgorithm::Automatic
@ Automatic
storm::SteadyStateDistributionAlgorithm::ExpectedVisitingTimes
@ ExpectedVisitingTimes
storm::SteadyStateDistributionAlgorithm::EquationSystem
@ EquationSystem
storm::SteadyStateDistributionAlgorithm::Classic
@ Classic
src
storm
modelchecker
helper
infinitehorizon
SteadyStateDistributionAlgorithm.h
Generated by
1.9.8