From b7aea6df9a553cb3b67d032d5d26d34d261a3161 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Mon, 17 Jul 2017 12:45:01 +0000
Subject: [PATCH] symbolic DTMC LTL checker: support all acceptance types

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12044 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ProbModelChecker.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java
index 5a014871..17cde16c 100644
--- a/prism/src/prism/ProbModelChecker.java
+++ b/prism/src/prism/ProbModelChecker.java
@@ -556,8 +556,11 @@ public class ProbModelChecker extends NonProbModelChecker
 		JDD.Deref(statesOfInterest);
 
 		AcceptanceType[] allowedAcceptance = {
-				AcceptanceType.RABIN,
 				AcceptanceType.REACH,
+				AcceptanceType.BUCHI,
+				AcceptanceType.RABIN,
+				AcceptanceType.STREETT,
+				AcceptanceType.GENERALIZED_RABIN,
 				AcceptanceType.GENERIC
 		};
 		mcLtl = new LTLModelChecker(prism);