disable level simplification for now

8 years ago · 970b72786c
1 changed files with 2 additions and 1 deletions
--- a/src/storm/storage/jani/Automaton.cpp
+++ b/src/storm/storage/jani/Automaton.cpp
@ -445,7 +445,7 @@ namespace storm {
        }
        
        void Automaton::finalize(Model const& containingModel) {
-            simplifyIndexedAssignments();
+            //simplifyIndexedAssignments();
            templateEdges.clear();
            for (auto& edge : edges) {
                templateEdges.insert(edge.getTemplateEdge());
@ -500,6 +500,7 @@ namespace storm {
        }

        void Automaton::simplifyIndexedAssignments() {
+            // TODO has to be fixed.
            for (auto& edge : edges) {
                edge.simplifyIndexedAssignments(variables);
            }