Matching ModulesFileModelGenerator and ModulesFileModelGeneratorSymbolic.

6 years ago · 273ed92831
1 changed files with 6 additions and 6 deletions
--- a/prism/src/simulator/ModulesFileModelGeneratorSymbolic.java
+++ b/prism/src/simulator/ModulesFileModelGeneratorSymbolic.java
@ -204,6 +204,12 @@ public class ModulesFileModelGeneratorSymbolic implements ModelGeneratorSymbolic
 		return labelList.size();	
 	}

+	@Override
+	public String getActionStringDescription()
+	{
+		return "Module/[action]";
+	}
+	
 	@Override
 	public List<String> getLabelNames()
 	{
@ -365,12 +371,6 @@ public class ModulesFileModelGeneratorSymbolic implements ModelGeneratorSymbolic
 		}
 	}
 	
-	@Override
-	public String getActionStringDescription()
-	{
-		return "Module/[action]";
-	}
-	
 	@Override
 	public double getTransitionProbability(int i, int offset) throws PrismException
 	{