From 19a11114914cc7da8a2bbe445a16116123d4dfc2 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 10 Feb 2016 10:24:52 +0000
Subject: [PATCH] explicit: add Model.hasLabel() method

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11162 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/Model.java          | 5 ++++-
 prism/src/explicit/ModelExplicit.java  | 6 ++++++
 prism/src/explicit/SubNondetModel.java | 6 ++++++
 3 files changed, 16 insertions(+), 1 deletion(-)

diff --git a/prism/src/explicit/Model.java b/prism/src/explicit/Model.java
index 9d618598..fc93f99a 100644
--- a/prism/src/explicit/Model.java
+++ b/prism/src/explicit/Model.java
@@ -133,7 +133,10 @@ public interface Model
 	 * Returns an empty set if there are no labels.
 	 */
 	public Set<String> getLabels();
-	
+
+	/** Returns true if a label with the given name is attached to this model */
+	public boolean hasLabel(String name);
+
 	/**
 	 * Get the total number of transitions in the model.
 	 */
diff --git a/prism/src/explicit/ModelExplicit.java b/prism/src/explicit/ModelExplicit.java
index 02c90760..3be5dd32 100644
--- a/prism/src/explicit/ModelExplicit.java
+++ b/prism/src/explicit/ModelExplicit.java
@@ -295,6 +295,12 @@ public abstract class ModelExplicit implements Model
 		return labels.get(name);
 	}
 
+	@Override
+	public boolean hasLabel(String name)
+	{
+		return labels.containsKey(name);
+	}
+
 	@Override
 	public Set<String> getLabels()
 	{
diff --git a/prism/src/explicit/SubNondetModel.java b/prism/src/explicit/SubNondetModel.java
index 4e547340..7cfd2ce2 100644
--- a/prism/src/explicit/SubNondetModel.java
+++ b/prism/src/explicit/SubNondetModel.java
@@ -198,6 +198,12 @@ public class SubNondetModel implements NondetModel
 		throw new UnsupportedOperationException();
 	}
 
+	@Override
+	public boolean hasLabel(String name)
+	{
+		throw new UnsupportedOperationException();
+	}
+
 	@Override
 	public int getNumTransitions()
 	{