From 5cafc40cb94cfd2fdb1379e7dc93816749fb375c Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 20 Aug 2015 06:26:29 +0000
Subject: [PATCH] AcceptanceGeneric: add missing getSignatureForState()
 functionality

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10530 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/acceptance/AcceptanceGeneric.java | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/prism/src/acceptance/AcceptanceGeneric.java b/prism/src/acceptance/AcceptanceGeneric.java
index 91020a4d..676840dc 100644
--- a/prism/src/acceptance/AcceptanceGeneric.java
+++ b/prism/src/acceptance/AcceptanceGeneric.java
@@ -183,8 +183,18 @@ public class AcceptanceGeneric implements AcceptanceOmega {
 	}
 
 	@Override
-	public String getSignatureForState(int i) {
-		return "";
+	public String getSignatureForState(int stateIndex) {
+		List<AcceptanceGeneric> leafNodes = getLeafNodes();
+
+		String result = "";
+		for (int i=0; i < leafNodes.size(); i++) {
+			if (leafNodes.get(i).getStates().get(stateIndex)) {
+				result += (result.isEmpty() ? "" : ",")+i;
+			}
+		}
+
+		result = "{" + result + "}";
+		return result;
 	}
 
 	@Override