Merge pull request #7 from utwente-fmt/feature/fix-dftcalc

Restore DFTCalc functionality that depends on the MakeTraLab name 'ma…
utwente-fmt · Feb 19, 2024 · 2b6410d · 2b6410d
2 parents bc94af8 + 81c5f33
commit 2b6410d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/nl/utwente/ewi/fmt/EXPRES/MakeTraLab.java b/src/nl/utwente/ewi/fmt/EXPRES/MakeTraLab.java
@@ -81,6 +81,10 @@ public void run () {
 				String sState = Composition.stateString(state);
 				Map<String, Integer> vals = l.getVarValues(state);
 				Set<String> markings = new TreeSet<>();
+				if (l instanceof MarkedAutomaton) {
+					if (vals.get("marked") != 0)
+						markings.add("marked");
+				}
 				for (Map.Entry<?, Integer> v : vals.entrySet())
 					markings.add("v_" + v.getKey() + "_" + v.getValue());
 				for (Property prop : props) {