From eafa913f05926b0e98772a86ee97d202d70596b2 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 1 Nov 2010 22:06:23 +0000 Subject: [PATCH] Bug fix in just-added unbounded methods for Zone. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2217 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/pta/DBM.java | 2 +- prism/src/pta/DBMList.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/pta/DBM.java b/prism/src/pta/DBM.java index f6a57f0f..ba4561a9 100644 --- a/prism/src/pta/DBM.java +++ b/prism/src/pta/DBM.java @@ -320,7 +320,7 @@ public class DBM extends Zone { int i, n; n = pta.numClocks; - for (i = 0; i < n + 1; i++) { + for (i = 1; i < n + 1; i++) { if (!DB.isInfty(d[i][0])) { return false; } diff --git a/prism/src/pta/DBMList.java b/prism/src/pta/DBMList.java index 1a6bde71..6bc72c0c 100644 --- a/prism/src/pta/DBMList.java +++ b/prism/src/pta/DBMList.java @@ -353,7 +353,7 @@ public class DBMList extends NCZone { int i, n; n = pta.numClocks; - for (i = 0; i < n + 1; i++) { + for (i = 1; i < n + 1; i++) { if (!clockIsUnbounded(i)) { return false; }