Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ModelCheckerEnvironment.cpp
Go to the documentation of this file.
2
4
9
12
13namespace storm {
14
16 auto const& mcSettings = storm::settings::getModule<storm::settings::modules::ModelCheckerSettings>();
17 if (mcSettings.isLtl2daToolSet()) {
18 ltl2daTool = mcSettings.getLtl2daTool();
19 }
20 auto const& ioSettings = storm::settings::getModule<storm::settings::modules::IOSettings>();
21 steadyStateDistributionAlgorithm = ioSettings.getSteadyStateDistributionAlgorithm();
22
23 conditionalAlgorithmSetting = mcSettings.getConditionalAlgorithmSetting();
24}
25
27 // Intentionally left empty
28}
29
33
35 steadyStateDistributionAlgorithm = value;
36}
37
41
43 conditionalAlgorithmSetting = value;
44}
45
47 return multiObjectiveModelCheckerEnvironment.get();
48}
49
51 return multiObjectiveModelCheckerEnvironment.get();
52}
53
55 return ltl2daTool.is_initialized();
56}
57
58std::string const& ModelCheckerEnvironment::getLtl2daTool() const {
59 return ltl2daTool.get();
60}
61
62void ModelCheckerEnvironment::setLtl2daTool(std::string const& value) {
63 ltl2daTool = value;
64}
65
67 ltl2daTool = boost::none;
68}
69
70} // namespace storm
MultiObjectiveModelCheckerEnvironment & multi()
ConditionalAlgorithmSetting getConditionalAlgorithmSetting() const
void setLtl2daTool(std::string const &value)
SteadyStateDistributionAlgorithm getSteadyStateDistributionAlgorithm() const
void setConditionalAlgorithmSetting(ConditionalAlgorithmSetting value)
void setSteadyStateDistributionAlgorithm(SteadyStateDistributionAlgorithm value)
std::string const & getLtl2daTool() const
LabParser.cpp.
Definition cli.cpp:18