Storm
1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ConditionalAlgorithmSetting.cpp
Go to the documentation of this file.
1
#include "
ConditionalAlgorithmSetting.h
"
2
3
namespace
storm
{
4
std::ostream&
operator<<
(std::ostream& stream,
ConditionalAlgorithmSetting
const
& algorithm) {
5
switch
(algorithm) {
6
case
ConditionalAlgorithmSetting::Default
:
7
return
stream <<
"default"
;
8
case
ConditionalAlgorithmSetting::Restart
:
9
return
stream <<
"restart"
;
10
case
ConditionalAlgorithmSetting::Bisection
:
11
return
stream <<
"bisection"
;
12
case
ConditionalAlgorithmSetting::BisectionAdvanced
:
13
return
stream <<
"bisection-advanced"
;
14
case
ConditionalAlgorithmSetting::PolicyIteration
:
15
return
stream <<
"pi"
;
16
}
17
STORM_LOG_THROW
(
false
, storm::exceptions::UnexpectedException,
"Unknown conditional algorithm"
);
18
return
stream;
19
}
20
21
ConditionalAlgorithmSetting
conditionalAlgorithmSettingFromString
(std::string
const
& algorithm) {
22
if
(algorithm ==
"default"
) {
23
return
ConditionalAlgorithmSetting::Default
;
24
}
else
if
(algorithm ==
"restart"
) {
25
return
ConditionalAlgorithmSetting::Restart
;
26
}
else
if
(algorithm ==
"bisection"
) {
27
return
ConditionalAlgorithmSetting::Bisection
;
28
}
else
if
(algorithm ==
"bisection-advanced"
) {
29
return
ConditionalAlgorithmSetting::BisectionAdvanced
;
30
}
else
if
(algorithm ==
"pi"
) {
31
return
ConditionalAlgorithmSetting::PolicyIteration
;
32
}
33
STORM_LOG_THROW
(
false
, storm::exceptions::UnexpectedException,
"Unknown conditional algorithm: "
<< algorithm);
34
}
35
36
}
// namespace storm
ConditionalAlgorithmSetting.h
STORM_LOG_THROW
#define STORM_LOG_THROW(cond, exception, message)
Definition
macros.h:30
storm
LabParser.cpp.
Definition
cli.cpp:18
storm::operator<<
std::ostream & operator<<(std::ostream &stream, ConditionalAlgorithmSetting const &algorithm)
Definition
ConditionalAlgorithmSetting.cpp:4
storm::ConditionalAlgorithmSetting
ConditionalAlgorithmSetting
Definition
ConditionalAlgorithmSetting.h:8
storm::ConditionalAlgorithmSetting::Restart
@ Restart
storm::ConditionalAlgorithmSetting::Default
@ Default
storm::ConditionalAlgorithmSetting::BisectionAdvanced
@ BisectionAdvanced
storm::ConditionalAlgorithmSetting::PolicyIteration
@ PolicyIteration
storm::ConditionalAlgorithmSetting::Bisection
@ Bisection
storm::conditionalAlgorithmSettingFromString
ConditionalAlgorithmSetting conditionalAlgorithmSettingFromString(std::string const &algorithm)
Definition
ConditionalAlgorithmSetting.cpp:21
src
storm
modelchecker
helper
conditional
ConditionalAlgorithmSetting.cpp
Generated by
1.9.8