changed dot to underscore in JANI automaton delimiter

Former-commit-id: 04e0f12017 [formerly 2e7e0edfda] Former-commit-id: 429211b743
8 years ago · 063d06fd66
1 changed files with 1 additions and 1 deletions
--- a/src/parser/JaniParser.cpp
+++ b/src/parser/JaniParser.cpp
@ -26,7 +26,7 @@ namespace storm {
        const bool JaniParser::defaultBooleanInitialValue = false;
        const double JaniParser::defaultRationalInitialValue = 0.0;
        const int64_t JaniParser::defaultIntegerInitialValue = 0;
-        const std::string VARIABLE_AUTOMATON_DELIMITER = ".";
+        const std::string VARIABLE_AUTOMATON_DELIMITER = "_";
        const std::set<std::string> JaniParser::unsupportedOpstrings({"sin", "cos", "tan", "cot", "sec", "csc", "asin", "acos", "atan", "acot", "asec", "acsc",
                                                         "sinh", "cosh", "tanh", "coth", "sech", "csch", "asinh", "acosh", "atanh", "asinh", "acosh"});