From 1a97b448abb01d0b02ddc993b04a7c72c187453c Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Feb 2016 14:18:42 +0000
Subject: [PATCH] AcceptanceType.allTypes()  (for use in allowedAcceptance
 parameter to methods)

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11194 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/acceptance/AcceptanceType.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/prism/src/acceptance/AcceptanceType.java b/prism/src/acceptance/AcceptanceType.java
index e40edce9..c7cf6d7c 100644
--- a/prism/src/acceptance/AcceptanceType.java
+++ b/prism/src/acceptance/AcceptanceType.java
@@ -87,4 +87,10 @@ public enum AcceptanceType {
 		}
 		return false;
 	}
+
+	/** Return an array containing all the acceptance types */
+	public static AcceptanceType[] allTypes()
+	{
+		return values();
+	}
 }