From d84ae34cc64e8e65f64d4134f4adf9b685ae8f99 Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 2 Jun 2016 15:22:54 +0200 Subject: [PATCH] re-enabled omitting unused variables from PRISM models when converting to JANI Former-commit-id: 4803b32ad3e9bacb18df0ac7b30675759d0ec9cc --- src/storage/prism/Program.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storage/prism/Program.cpp b/src/storage/prism/Program.cpp index 44a61d7f7..66758a72e 100644 --- a/src/storage/prism/Program.cpp +++ b/src/storage/prism/Program.cpp @@ -1560,7 +1560,7 @@ namespace storm { automaton.addBoundedIntegerVariable(newIntegerVariable); storm::expressions::Expression variableInitialExpression = variable.getExpressionVariable() == variable.getInitialValueExpression(); initialStatesExpression = initialStatesExpression.isInitialized() ? initialStatesExpression && variableInitialExpression : variableInitialExpression; - } else { // if (!accessingModuleIndices.empty()) { + } else if (!accessingModuleIndices.empty()) { // Otherwise, we need to make it global. janiModel.addBoundedIntegerVariable(newIntegerVariable); storm::expressions::Expression variableInitialExpression = variable.getExpressionVariable() == variable.getInitialValueExpression(); @@ -1575,7 +1575,7 @@ namespace storm { automaton.addBooleanVariable(newBooleanVariable); storm::expressions::Expression variableInitialExpression = storm::expressions::iff(variable.getExpressionVariable(), variable.getInitialValueExpression()); initialStatesExpression = initialStatesExpression.isInitialized() ? initialStatesExpression && variableInitialExpression : variableInitialExpression; - } else { //if (!accessingModuleIndices.empty()) { + } else if (!accessingModuleIndices.empty()) { // Otherwise, we need to make it global. janiModel.addBooleanVariable(newBooleanVariable); storm::expressions::Expression variableInitialExpression = storm::expressions::iff(variable.getExpressionVariable(), variable.getInitialValueExpression());