Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ConditionalAlgorithmSetting.cpp
Go to the documentation of this file.
2
3namespace storm {
4std::ostream& operator<<(std::ostream& stream, ConditionalAlgorithmSetting const& algorithm) {
5 switch (algorithm) {
7 return stream << "default";
9 return stream << "restart";
11 return stream << "bisection";
13 return stream << "bisection-advanced";
15 return stream << "pi";
16 }
17 STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Unknown conditional algorithm");
18 return stream;
19}
20
22 if (algorithm == "default") {
24 } else if (algorithm == "restart") {
26 } else if (algorithm == "bisection") {
28 } else if (algorithm == "bisection-advanced") {
30 } else if (algorithm == "pi") {
32 }
33 STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Unknown conditional algorithm: " << algorithm);
34}
35
36} // namespace storm
#define STORM_LOG_THROW(cond, exception, message)
Definition macros.h:30
LabParser.cpp.
Definition cli.cpp:18
std::ostream & operator<<(std::ostream &stream, ConditionalAlgorithmSetting const &algorithm)
ConditionalAlgorithmSetting conditionalAlgorithmSettingFromString(std::string const &algorithm)