From b8f6644f537a03ba7df58c65f15599baf0c071de Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 28 Jan 2015 14:00:11 +0000 Subject: [PATCH] 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 | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/prism/src/prism/IntegerBound.java b/prism/src/prism/IntegerBound.java index b3a200f1..cb307acc 100644 --- a/prism/src/prism/IntegerBound.java +++ b/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)); + } }