From 8b569b9e4e7925a05c2dfbf7db44fa7a132dabc8 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 9 Sep 2016 08:38:15 +0000 Subject: [PATCH] BigRational: Make the static final constants (ONE, INF, NAN, etc) public git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11798 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/param/BigRational.java | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/prism/src/param/BigRational.java b/prism/src/param/BigRational.java index a9791f6a..e081f3b9 100644 --- a/prism/src/param/BigRational.java +++ b/prism/src/param/BigRational.java @@ -51,17 +51,17 @@ public final class BigRational implements Comparable private final static BigInteger BITEN = new BigInteger("10"); /** the BigRational "1" */ - final static BigRational ONE = new BigRational(BigInteger.ONE); + public final static BigRational ONE = new BigRational(BigInteger.ONE); /** the BigRational "-1" */ - final static BigRational MONE = new BigRational(BigInteger.ONE).negate(); + public final static BigRational MONE = new BigRational(BigInteger.ONE).negate(); /** the BigRational "0" */ - final static BigRational ZERO = new BigRational(BigInteger.ZERO); + public final static BigRational ZERO = new BigRational(BigInteger.ZERO); /** the BigRational "infinity" */ - final static BigRational INF = new BigRational(BigInteger.ONE, BigInteger.ZERO); + public final static BigRational INF = new BigRational(BigInteger.ONE, BigInteger.ZERO); /** the BigRational "-infinity" */ - final static BigRational MINF = new BigRational(BMONE, BigInteger.ZERO); + public final static BigRational MINF = new BigRational(BMONE, BigInteger.ZERO); /** the BigRational "not a number" */ - final static BigRational NAN = new BigRational(BigInteger.ZERO, BigInteger.ZERO); + public final static BigRational NAN = new BigRational(BigInteger.ZERO, BigInteger.ZERO); /** numerator */ private BigInteger num;