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

@@ -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