Browse Source

Error message typo

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9523 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 11 years ago
parent
commit
8c50fe44da
  1. 2
      prism/src/prism/MultiObjModelChecker.java

2
prism/src/prism/MultiObjModelChecker.java

@ -696,7 +696,7 @@ public class MultiObjModelChecker extends PrismComponent
int numberOfMaximizing = opsAndBounds.numberOfNumerical(); int numberOfMaximizing = opsAndBounds.numberOfNumerical();
if (numberOfMaximizing > 2) if (numberOfMaximizing > 2)
throw new PrismException("Number of maximizing objectives must be at most 3");
throw new PrismException("Number of maximizing objectives must be at most 2");
if (numberOfMaximizing >= 2 && opsAndBounds.probSize() + opsAndBounds.rewardSize() > numberOfMaximizing) if (numberOfMaximizing >= 2 && opsAndBounds.probSize() + opsAndBounds.rewardSize() > numberOfMaximizing)
throw new PrismException("Number of maximizing objectives can be 2 or 3 only if there are no other (i.e. bounded) objectives present"); throw new PrismException("Number of maximizing objectives can be 2 or 3 only if there are no other (i.e. bounded) objectives present");

Loading…
Cancel
Save