RegionSettings.cpp

Go to the documentation of this file.

#include "storm-pars/settings/modules/RegionSettings.h"
 
#include "storm/settings/ArgumentBuilder.h"
#include "storm/settings/OptionBuilder.h"
 
#include "storm/exceptions/IllegalArgumentValueException.h"
#include "storm/utility/macros.h"
 
namespace storm {
namespace settings {
namespace modules {
 
const std::string RegionSettings::moduleName = "region";
const std::string regionOptionName = "region";
const std::string regionShortOptionName = "reg";
const std::string regionBoundOptionName = "regionbound";
const std::string assumeGraphPreservingName = "assume-graph-preserving";
const std::string discreteVariablesName = "discrete-variables";
 
RegionSettings::RegionSettings() : ModuleSettings(moduleName) {
    this->addOption(storm::settings::OptionBuilder(moduleName, regionOptionName, false, "Sets the region(s) considered for analysis.")
                        .setShortName(regionShortOptionName)
                        .addArgument(storm::settings::ArgumentBuilder::createStringArgument(
                                         "regioninput", "The region(s) given in format a<=x<=b,c<=y<=d seperated by ';'. Can also be a file.")
                                         .build())
                        .build());
 
    this->addOption(storm::settings::OptionBuilder(moduleName, regionBoundOptionName, false, "Sets the region bound considered for analysis.")
                        .addArgument(storm::settings::ArgumentBuilder::createStringArgument(
                                         "regionbound", "The bound for the region result for all variables: 0+bound <= var <=1-bound")
                                         .build())
                        .build());
 
    this->addOption(
        storm::settings::OptionBuilder(moduleName, assumeGraphPreservingName, false,
                                       "Enables mode in which the region might not preserve the graph structure of the parametric model.")
            .addArgument(storm::settings::ArgumentBuilder::createBooleanArgument("assumegraphpreserving", "Assume that the region is graph preserving.")
                             .setDefaultValueBoolean(true)
                             .build())
            .build());
 
    this->addOption(storm::settings::OptionBuilder(moduleName, discreteVariablesName, false,
                                                   "Comma-seperated list of variables that are discrete and will be split to the region edges.")
                        .addArgument(storm::settings::ArgumentBuilder::createStringArgument("discretevars", "The variables in the format p1,p2,p3.")
                                         .setDefaultValueString("")
                                         .build())
                        .build());
}
 
bool RegionSettings::isRegionSet() const {
    return this->getOption(regionOptionName).getHasOptionBeenSet();
}
 
std::string RegionSettings::getRegionString() const {
    return this->getOption(regionOptionName).getArgumentByName("regioninput").getValueAsString();
}
 
bool RegionSettings::isRegionBoundSet() const {
    return this->getOption(regionBoundOptionName).getHasOptionBeenSet();
}
 
std::string RegionSettings::getRegionBoundString() const {
    return this->getOption(regionBoundOptionName).getArgumentByName("regionbound").getValueAsString();
}
 
bool RegionSettings::isAssumeGraphPreservingSet() const {
    return this->getOption(assumeGraphPreservingName).getArgumentByName("assumegraphpreserving").getValueAsBoolean();
}
 
std::string RegionSettings::getDiscreteVariablesString() const {
    return this->getOption(discreteVariablesName).getArgumentByName("discretevars").getValueAsString();
}
 
}  // namespace modules
}  // namespace settings
}  // namespace storm