Browse Source

Enable array elimination in jit builder

tempestpy_adaptions
TimQu 6 years ago
parent
commit
e2cb68b31f
  1. 4
      src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp

4
src/storm/builder/jit/ExplicitJitJaniModelBuilder.cpp

@ -107,6 +107,10 @@ namespace storm {
transientVariables.insert(variable.getExpressionVariable());
}
if (this->model.containsArrayVariables()) {
this->model.eliminateArrays();
}
// Construct vector of the automata to be put in parallel.
storm::jani::Composition const& topLevelComposition = this->model.getSystemComposition();
if (topLevelComposition.isAutomatonComposition()) {

Loading…
Cancel
Save