From 650e519e2dfe456acb11922be28eee2343d12336 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 10 Feb 2016 10:26:31 +0000
Subject: [PATCH] DTMCEmbeddedSimple: pass through label methods to underlying
 CTMC

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11164 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/DTMCEmbeddedSimple.java | 24 ++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/prism/src/explicit/DTMCEmbeddedSimple.java b/prism/src/explicit/DTMCEmbeddedSimple.java
index abe6b516..ec16e713 100644
--- a/prism/src/explicit/DTMCEmbeddedSimple.java
+++ b/prism/src/explicit/DTMCEmbeddedSimple.java
@@ -161,6 +161,30 @@ public class DTMCEmbeddedSimple extends DTMCExplicit
 		return 1;
 	}
 
+	@Override
+	public BitSet getLabelStates(String name)
+	{
+		return ctmc.getLabelStates(name);
+	}
+
+	@Override
+	public boolean hasLabel(String name)
+	{
+		return ctmc.hasLabel(name);
+	}
+
+	@Override
+	public Set<String> getLabels()
+	{
+		return ctmc.getLabels();
+	}
+
+	@Override
+	public void addLabel(String name, BitSet states)
+	{
+		throw new RuntimeException("Can not add label to DTMCEmbeddedSimple");
+	}
+
 	public void findDeadlocks(boolean fix) throws PrismException
 	{
 		// No deadlocks by definition