imported patch rewardcounter-DTMCModelChecker.removeBounds.patch

prism/src/explicit/DTMCModelChecker.java

@@ -41,6 +41,8 @@ import parser.VarList;
 import parser.ast.Declaration;
 import parser.ast.DeclarationIntUnbounded;
 import parser.ast.Expression;
+import parser.ast.ExpressionTemporal;
+import parser.ast.TemporalOperatorBound;
 import prism.ModelType;
 import prism.OptionsIntervalIteration;
 import prism.Pair;