From 916c7e3f904971e7d37e1e66da6130fdb3264248 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:24:46 +0200
Subject: [PATCH] imported patch sample-PrismUtils-bitsForEncoding.patch

---
 prism/src/prism/PrismUtils.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/prism/src/prism/PrismUtils.java b/prism/src/prism/PrismUtils.java
index 1afde7cd..28f5e751 100644
--- a/prism/src/prism/PrismUtils.java
+++ b/prism/src/prism/PrismUtils.java
@@ -70,6 +70,14 @@ public class PrismUtils
 		return Math.log(x) / Math.log(2);
 	}
 
+	/**
+	 * Compute the number of bits needed to encode n different values.
+	 */
+	public static int bitsForEncoding(int n)
+	{
+		return (int) Math.ceil(PrismUtils.log2(n));
+	}
+
 	/**
 	 * See if two doubles are within epsilon of each other (absolute error).
 	 */