3#include <boost/optional.hpp>
15class MultiObjectiveModelCheckerEnvironment;
38 boost::optional<std::string> ltl2daTool;
MultiObjectiveModelCheckerEnvironment & multi()
ConditionalAlgorithmSetting getConditionalAlgorithmSetting() const
void setLtl2daTool(std::string const &value)
SteadyStateDistributionAlgorithm getSteadyStateDistributionAlgorithm() const
~ModelCheckerEnvironment()
ModelCheckerEnvironment()
void setConditionalAlgorithmSetting(ConditionalAlgorithmSetting value)
bool isLtl2daToolSet() const
void setSteadyStateDistributionAlgorithm(SteadyStateDistributionAlgorithm value)
std::string const & getLtl2daTool() const
ConditionalAlgorithmSetting
SteadyStateDistributionAlgorithm