Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ModelCheckerEnvironment.h
Go to the documentation of this file.
1#pragma once
2
3#include <boost/optional.hpp>
4#include <memory>
5#include <string>
6
11
12namespace storm {
13
14// Forward declare subenvironments
15class MultiObjectiveModelCheckerEnvironment;
16
18 public:
21
24
27
30
31 bool isLtl2daToolSet() const;
32 std::string const& getLtl2daTool() const;
33 void setLtl2daTool(std::string const& value);
34 void unsetLtl2daTool();
35
36 private:
37 SubEnvironment<MultiObjectiveModelCheckerEnvironment> multiObjectiveModelCheckerEnvironment;
38 boost::optional<std::string> ltl2daTool;
39 SteadyStateDistributionAlgorithm steadyStateDistributionAlgorithm;
40 ConditionalAlgorithmSetting conditionalAlgorithmSetting;
41};
42} // 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