IntegerBound class for convenient handling of lower/upper bounds and intervals. [Joachim Klein]

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9570 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/IntegerBound.java

@@ -24,7 +24,6 @@
 //	
 //==============================================================================
 
-
 package prism;
 
 import parser.Values;
@@ -40,7 +39,6 @@ public class IntegerBound
 	/** The highest integer that is included in the bound. {@code null} for "no bound". */
 	private Integer highest;
 
-
 	/** Create new bounds.
 	 * @param lower: The lower bound, {@code null} represents "no lower bound"
 	 * @param lower_strict: Is the lower bound strict (> lower) or non-strict (>= lower)
@@ -221,4 +219,9 @@ public class IntegerBound
 			}
 		}
 	}
+	
+	public static void main(String args[])
+	{
+		System.out.println(new IntegerBound(1, true, 3, false));
+	}
 }