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

@@ -87,4 +87,10 @@ public enum AcceptanceType {
 		}
 		return false;
 	}
+
+	/** Return an array containing all the acceptance types */
+	public static AcceptanceType[] allTypes()
+	{
+		return values();
+	}
 }