From 369e34d882dd1d09d3eb5a8c203c9bb25b7f8fa9 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Wed, 28 Jun 2023 18:16:40 +0200
Subject: [PATCH] added constants for signal flattening
---
.../de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java b/src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java
index 6972a8d..54ff2c4 100644
--- a/src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java
+++ b/src/data/java/de/tudresden/inf/st/pnml/base/constants/PnmlConstants.java
@@ -49,6 +49,7 @@ public final class PnmlConstants {
public static final String INPUT_SIGNAL_DEF = "inputsignal";
public static final String INPUT_SIGNAL_ID_DEF = "inputsignalID";
public static final String INPUT_SIGNAL_INIT_VALUE_DEF = "initialvalue";
+ public static final String SIGNAL_VALUE_PAGE_ID = "signalValuePage";
// structural keys
public static final String COMMUNICATORS = "communicators";
--
GitLab