added support for implies

Former-commit-id: 0a4b510b74 [formerly 32a59d85f9]
Former-commit-id: 1582f84bf1

src/parser/JaniParser.cpp

@@ -326,6 +326,12 @@ namespace storm {
                         ensureBooleanType(arguments[0], opstring, 0, scopeDescription);
                         ensureBooleanType(arguments[1], opstring, 1, scopeDescription);
                         return arguments[0] && arguments[1];
+                    } else if (opstring == "⇒") {
+                        arguments = parseUnaryExpressionArguments(expressionStructure, opstring, scopeDescription, localVars);
+                        assert(arguments.size() == 2);
+                        ensureBooleanType(arguments[0], opstring, 0, scopeDescription);
+                        ensureBooleanType(arguments[0], opstring, 1, scopeDescription);
+                        return (!arguments[0]) || arguments[1];
                     } else if (opstring == "¬") {
                         arguments = parseUnaryExpressionArguments(expressionStructure, opstring, scopeDescription, localVars);
                         assert(arguments.size() == 1);