explicit DTMC LTL checker: support all acceptance types

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12045 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/explicit/DTMCModelChecker.java

@@ -77,6 +77,8 @@ public class DTMCModelChecker extends ProbModelChecker
 		AcceptanceType[] allowedAcceptance = {
 				AcceptanceType.RABIN,
 				AcceptanceType.REACH,
+				AcceptanceType.BUCHI,
+				AcceptanceType.STREETT,
 				AcceptanceType.GENERIC
 		};
 		product = mcLtl.constructProductMC(this, (DTMC)model, expr, statesOfInterest, allowedAcceptance);