Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ModelCheckerSettings.h
Go to the documentation of this file.
1#pragma once
2
3#include "storm-config.h"
6
7namespace storm {
8namespace settings {
9namespace modules {
10
15 public:
20
21 bool isFilterRewZeroSet() const;
22
28 bool isLtl2daToolSet() const;
29
35 std::string getLtl2daTool() const;
36
40 bool isConditionalAlgorithmSet() const;
41
46
47 // The name of the module.
48 static const std::string moduleName;
49
50 private:
51 // Define the string names of the options as constants.
52 static const std::string filterRewZeroOptionName;
53 static const std::string ltl2daToolOptionName;
54 static const std::string conditionalAlgorithmOptionName;
55};
56
57} // namespace modules
58} // namespace settings
59} // namespace storm
This class represents the general settings.
ModelCheckerSettings()
Creates a new set of general settings.
ConditionalAlgorithmSetting getConditionalAlgorithmSetting() const
Retrieves the specified algorithm for conditional probabilities.
bool isLtl2daToolSet() const
Retrieves whether the external ltl2da tool has been set.
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.
LabParser.cpp.
Definition cli.cpp:18