removed dependency on storm-conv

src/storm-cli-utilities/CMakeLists.txt

@@ -17,7 +17,7 @@ set_target_properties(storm-cli-utilities PROPERTIES DEFINE_SYMBOL "")
 list(APPEND STORM_TARGETS storm-cli-utilities)
 set(STORM_TARGETS ${STORM_TARGETS} PARENT_SCOPE)
 
-target_link_libraries(storm-cli-utilities PUBLIC storm storm-counterexamples storm-parsers storm-conv)
+target_link_libraries(storm-cli-utilities PUBLIC storm storm-counterexamples storm-parsers)
 
 # Install storm headers to include directory.
 foreach(HEADER ${STORM_CLI_UTIL_HEADERS})

src/storm-cli-utilities/model-handling.h

@@ -4,7 +4,6 @@
 
 #include "storm-counterexamples/api/counterexamples.h"
 #include "storm-parsers/api/storm-parsers.h"
-#include "storm-conv/api/storm-conv.h"
 
 #include "storm/utility/resources.h"
 #include "storm/utility/file.h"
@@ -156,13 +155,11 @@ namespace storm {
             }
             
             if (output.model && output.model.get().isJaniModel()) {
-                storm::converter::JaniConversionOptions options;
+                // Check if arrays need to be eliminated
-                options.allowFunctions = false;
+                if (coreSettings.getEngine() != storm::settings::modules::CoreSettings::Engine::Sparse || buildSettings.isJitSet()) {
-                options.allowArrays = coreSettings.getEngine() == storm::settings::modules::CoreSettings::Engine::Sparse && !buildSettings.isJitSet();
-                options.standardCompliant = false;
-                options.flatten = false;
                     output.preprocessedProperties = output.properties;
-                storm::api::transformJani(output.model.get().asJaniModel(), output.preprocessedProperties.get(), options);
+                    output.model.get().asJaniModel().eliminateArrays(output.preprocessedProperties.get());
+                }
             }
             return output;
         }