Allowing lra formulas in multi-objective formula fragment

4 years ago · a5eb8e224b
1 changed files with 3 additions and 0 deletions
--- a/src/storm/logic/FragmentSpecification.cpp
+++ b/src/storm/logic/FragmentSpecification.cpp
@ -106,6 +106,9 @@ namespace storm {
            multiObjective.setBoundedUntilFormulasAllowed(true);
            multiObjective.setStepBoundedUntilFormulasAllowed(true);
            multiObjective.setTimeBoundedUntilFormulasAllowed(true);
+            multiObjective.setLongRunAverageOperatorsAllowed(true);
+            multiObjective.setLongRunAverageRewardFormulasAllowed(true);
+

            return multiObjective;
        }