From f4ca1fbeb1d8e053a34f7b182185ab7c891b7d88 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 19 Aug 2016 09:30:03 +0000
Subject: [PATCH] param.JasFunction.isConstant: actually return true for 0

The jas library returns false for the zero function...


git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11647 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/param/JasFunction.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/prism/src/param/JasFunction.java b/prism/src/param/JasFunction.java
index 411999b7..5a7b7bc6 100644
--- a/prism/src/param/JasFunction.java
+++ b/prism/src/param/JasFunction.java
@@ -351,6 +351,12 @@ final class JasFunction extends Function {
 		if (type != NORMAL)
 			return true;
 
+		// special handling for ZERO, as jas.isConstant() returns false
+		// for zero...
+		if (jas.isZERO()) {
+			return true;
+		}
+
 		return jas.isConstant();
 	}