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

@@ -51,17 +51,17 @@ public final class BigRational implements Comparable<BigRational>
 	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;