From 9be3a42d1a611907c50b6eb20bc87316bb02bd2b Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 4 Aug 2011 09:46:03 +0000 Subject: [PATCH] Comments. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3360 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/UndefinedConstants.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/prism/UndefinedConstants.java b/prism/src/prism/UndefinedConstants.java index 39d21f0c..c03ff737 100644 --- a/prism/src/prism/UndefinedConstants.java +++ b/prism/src/prism/UndefinedConstants.java @@ -331,7 +331,7 @@ public class UndefinedConstants * The method {@link #initialiseIterators() initialiseIterators} must be called after all constants are defined. * * @param name The name of the constant. - * @param sl If sh are sl are null, this is the value to be assigned. Otherwise, it is the lower bound for the range. + * @param sl If sh are ss are null, this is the value to be assigned. Otherwise, it is the lower bound for the range. * @param sh The upper bound for the range. * @param ss The step for the values. Null means 1. * @param useAll If true, throw an exception if {@code name} is does not need to be defined @@ -349,10 +349,10 @@ public class UndefinedConstants * The method {@link #initialiseIterators() initialiseIterators} must be called after all constants are defined. * * @param name The name of the constant. - * @param sl If sh are sl are null, this is the value to be assigned. Otherwise, it is the lower bound for the range. + * @param sl If sh are ss are null, this is the value to be assigned. Otherwise, it is the lower bound for the range. * @param sh The upper bound for the range. * @param ss The step for the values. Null means 1. - * @param useAll If true, throw an exception if {@code name} is does not need to be defined + * @param useAll If true, throw an exception if {@code name} does not need to be defined * * @return True if the constant was defined before. */