3#include "storm-config.h"
52 static const std::string filterRewZeroOptionName;
53 static const std::string ltl2daToolOptionName;
54 static const std::string conditionalAlgorithmOptionName;
This class represents the general settings.
ModelCheckerSettings()
Creates a new set of general settings.
bool isFilterRewZeroSet() const
ConditionalAlgorithmSetting getConditionalAlgorithmSetting() const
Retrieves the specified algorithm for conditional probabilities.
bool isLtl2daToolSet() const
Retrieves whether the external ltl2da tool has been set.
static const std::string moduleName
bool isConditionalAlgorithmSet() const
Retrieves whether an algorithm for conditional properties has been set.
std::string getLtl2daTool() const
Retrieves the external ltl2da tool that is used for converting LTL formulas to deterministic automata...
This is the base class of the settings for a particular module.
ConditionalAlgorithmSetting